その正当はカーテンウォールだ
fact1: もし仮に「その正当は目の敵でないけど石像である」ということは本当でないとすればそれは石像であるということはない fact2: その年月日はカーテンウォールであるなら予測し易い fact3: 酸っぱいものはカーテンウォールだ fact4: もしもその正当はカーテンウォールであるとしたら「石像でない」ということは誤りである fact5: 「その正当は目の敵でない一方で石像だ」ということは嘘だ
void -> assump1: 以下のように仮定する。その正当はカーテンウォールである; fact4 & assump1 -> int1: その正当は石像である; fact5 & fact1 -> int2: その正当は石像であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
もしその苦虫が酸っぱいとするとカーテンウォールだ
fact6 -> hypothesis;
$facts$ = fact1: もし仮に「その正当は目の敵でないけど石像である」ということは本当でないとすればそれは石像であるということはない fact2: その年月日はカーテンウォールであるなら予測し易い fact3: 酸っぱいものはカーテンウォールだ fact4: もしもその正当はカーテンウォールであるとしたら「石像でない」ということは誤りである fact5: 「その正当は目の敵でない一方で石像だ」ということは嘘だ ; $hypothesis$ = その正当はカーテンウォールだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その正当はカーテンウォールである; fact4 & assump1 -> int1: その正当は石像である; fact5 & fact1 -> int2: その正当は石像であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に「その正当は目の敵でないけど石像である」ということは本当でないとすればそれは石像であるということはない
事実2: その年月日はカーテンウォールであるなら予測し易い
事実3: 酸っぱいものはカーテンウォールだ
事実4: もしもその正当はカーテンウォールであるとしたら「石像でない」ということは誤りである
事実5: 「その正当は目の敵でない一方で石像だ」ということは嘘だ

仮説: その正当はカーテンウォールだ
1. 仮定1: 以下のように仮定する。その正当はカーテンウォールである
2. 事実4と仮定1から、推論1: "その正当は石像である"が導かれる
3. 事実5と事実1から、推論2: "その正当は石像であるということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。