(infer (and (exercise intensity high world1) (muscle intensity low world2)) (amountSweat lower world1 (amsweat higher world1)) (infer (and (exercise intensity high world2) (muscle intensity low world1)) (amountSweat lower world2), (absweat higher world2))
qval (운동 강도, 높음, 세계 1), qv (운동의 강도, 낮음, world2) -> qrel (금액, 낮은, world1) ; qrel (액스웨트, 더 높은, 세계1)
사람이 팔굽혀펴기를 한다.
서 있는 사람.
팔굽혀펴기를 하는 사람은 주변에 서 있는 사람(A)이 (B)보다 적게 땀을 흘릴 가능성이 높다.