logical_forms: (infer (exerciseIntensity lower world1) (amountSweat higher world1) (amountSweat lower world1)) (infer (exerciseIntensity lower world2) (amountSweat higher world2) (amountSweat lower world2))
logical_form_pretty: qrel(exerciseIntensity, lower, world1) -> qrel(amountSweat, higher, world1) ; qrel(amountSweat, lower, world1)
question: Gary and Sharon are at the gym, since their New Year's Resolution is to lose weight. However, since Gary has bad knees, he is exercising less than Sharon is. It's likely that (A) Gary is sweating more than Sharon (B) Gary is sweating less than Sharon