Logical problem about a cleaver

 

v20240901