logical_forms: (infer (strength lower world1) (distance lower world1) (distance lower world2)) (infer (strength lower world2) (distance lower world2) (distance lower world1))
logical_form_pretty: qrel(strength, lower, world1) -> qrel(distance, lower, world1) ; qrel(distance, lower, world2)
question: Bryce challenged Gary, who is much weaker than Bryce, to see who could throw a stone the farthest. Who is more likely to not have thrown it as far? (A) Gary (B) Bryce