logical_forms: (infer (strength higher world1) (thickness higher world1) (thickness lower world1)) (infer (strength higher world2) (thickness higher world2) (thickness lower world2))
logical_form_pretty: qrel(strength, higher, world1) -> qrel(thickness, higher, world1) ; qrel(thickness, lower, world1)
question: A karate student broke the first wooden board easily, but couldn't break the second one because it was (A) thicker (B) thinner