logical_forms: (infer (amountSweat higher world1) (exerciseIntensity higher world2) (exerciseIntensity higher world1)) (infer (amountSweat higher world2) (exerciseIntensity higher world1) (exerciseIntensity higher world2))
logical_form_pretty: qrel(amountSweat, higher, world1) -> qrel(exerciseIntensity, higher, world2) ; qrel(exerciseIntensity, higher, world1)
question: Two men are running laps on a track. After half an hour, the taller man is sweating much more than the shorter man. The taller man (A) was taking it easier than the shorter man (B) was working harder than the shorter man