「「「みっとも可愛くない」ということは正しいとすれば海福寺であるし頼もしいということはない」ものはある」ということは成り立たない
fact1: もし共同社会が帰順するということはないならばそれは愛しない fact2: もしある物が敵うないならば海福寺であるしかつ頼もしくない fact3: 仮にとあるものが焦らすがしかしみっとも可愛くないとすればそれは敵うない fact4: すべての物は焦らす
fact4 -> int1: その窓台は焦らす; void -> assump1: 以下のように仮定する。その窓台はみっとも可愛くない; int1 & assump1 -> int2: その窓台は焦らすけれどみっとも可愛くない; fact3 -> int3: 仮にその窓台が焦らすけれどみっとも可愛くないなら敵うない; int2 & int3 -> int4: 「その窓台は敵うということはない」ということは本当だ; fact2 -> int5: もしその窓台が敵うないとしたらそれは海福寺であるしまたそれは頼もしくない; int4 & int5 -> int6: 「その窓台は海福寺である一方で頼もしくない」ということは本当だ; [assump1] & int6 -> int7: もし仮にその窓台がみっとも可愛くないとしたら海福寺であるしその上頼もしくない; int7 -> hypothesis;
$facts$ = fact1: もし共同社会が帰順するということはないならばそれは愛しない fact2: もしある物が敵うないならば海福寺であるしかつ頼もしくない fact3: 仮にとあるものが焦らすがしかしみっとも可愛くないとすればそれは敵うない fact4: すべての物は焦らす ; $hypothesis$ = 「「「みっとも可愛くない」ということは正しいとすれば海福寺であるし頼もしいということはない」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> int1: その窓台は焦らす; void -> assump1: 以下のように仮定する。その窓台はみっとも可愛くない; int1 & assump1 -> int2: その窓台は焦らすけれどみっとも可愛くない; fact3 -> int3: 仮にその窓台が焦らすけれどみっとも可愛くないなら敵うない; int2 & int3 -> int4: 「その窓台は敵うということはない」ということは本当だ; fact2 -> int5: もしその窓台が敵うないとしたらそれは海福寺であるしまたそれは頼もしくない; int4 & int5 -> int6: 「その窓台は海福寺である一方で頼もしくない」ということは本当だ; [assump1] & int6 -> int7: もし仮にその窓台がみっとも可愛くないとしたら海福寺であるしその上頼もしくない; int7 -> hypothesis; __DISPROVED__
事実1: もし共同社会が帰順するということはないならばそれは愛しない
事実2: もしある物が敵うないならば海福寺であるしかつ頼もしくない
事実3: 仮にとあるものが焦らすがしかしみっとも可愛くないとすればそれは敵うない
事実4: すべての物は焦らす

仮説: 「「「みっとも可愛くない」ということは正しいとすれば海福寺であるし頼もしいということはない」ものはある」ということは成り立たない
1. 事実4から、推論1: "その窓台は焦らす"が導かれる
2. 仮定1: 以下のように仮定する。その窓台はみっとも可愛くない
3. 推論1と仮定1から、推論2: "その窓台は焦らすけれどみっとも可愛くない"が導かれる
4. 事実3から、推論3: "仮にその窓台が焦らすけれどみっとも可愛くないなら敵うない"が導かれる
5. 推論2と推論3から、推論4: "「その窓台は敵うということはない」ということは本当だ"が導かれる
6. 事実2から、推論5: "もしその窓台が敵うないとしたらそれは海福寺であるしまたそれは頼もしくない"が導かれる
7. 推論4と推論5から、推論6: "「その窓台は海福寺である一方で頼もしくない」ということは本当だ"が導かれる
8. [仮定1]と推論6から、推論7: "もし仮にその窓台がみっとも可愛くないとしたら海福寺であるしその上頼もしくない"が導かれる
9. 推論7から、仮説が否定される

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