logical_forms: (infer (speed higher world1) (heat lower world1) (heat lower world2)) (infer (speed higher world2) (heat lower world2) (heat lower world1))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(heat, lower, world1) ; qrel(heat, lower, world2)
question: Mary's basketball rolls much faster on the indoor court then on the outdoor court. This means the basketball will heat up less on the (A) indoor court (B) outdoor court