無理無いということは起きない
fact1: 「御寒いということか甘酸っぱいということかもしくは両方ともが発生する」ということは無理無いということを回避する fact2: 熱っぽいということは起きない fact3: 御寒いということが生じる
fact3 -> int1: 御寒いということかまたは甘酸っぱいということが起きる; int1 & fact1 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「御寒いということか甘酸っぱいということかもしくは両方ともが発生する」ということは無理無いということを回避する fact2: 熱っぽいということは起きない fact3: 御寒いということが生じる ; $hypothesis$ = 無理無いということは起きない ; $proof$ = 
fact3 -> int1: 御寒いということかまたは甘酸っぱいということが起きる; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis; __PROVED__