(infer (and (exercise intensity high world1) (muscle intensity low world2)) (amountSweat higher world1 (amsweat high world2) ) (infer (and (exercise intensity high world2) (muscle intensity low world1)) (amountSweat higher world2)(amsweat high world1)).
qval (운동 강도, 높음, 세계 1), qv (운동의 강도, 낮음,세계 2) -> qrel (금액, 더 높은, 세계 1 ) ; qrel (액스웨트, 더 높이, 세계 2 )
캐리.
로버트
캐리는 모든 사람을 체육관에 가둬두고 이들을 모두 죽이기 위해 힘든 작업을 하고 있다. 로버트는 여유로운 걸음으로 길을 걷고 있는데 누가 더 땀을 흘릴까요?(A) 캐리가 땀을 더 흘리게 될 것이다(B) 로버트가 더 땀 흘릴 것입니다.