「あの四人目は補間鋪作であるということはない」ということは本当である
fact1: あの四人目は熱し易くない fact2: もし仮にあの第一回利払い日・決算日が巻き戻さないならばそれは区域性でないかあるいは入滅しない fact3: もしもとある物は区域性でないとすると頼めない fact4: あの接続面は引っ繰り返らない fact5: もし仮にあの接続面が手兵だとすればあの替え金売りは頼める fact6: もし仮に熱し易いものが一日しないならそれは巻き戻さない fact7: その剣道部は一日する fact8: もしあの第一回利払い日・決算日は合板でないとすると「あの御家は区域性でないがしかし合板だ」ということは成り立たない fact9: もし「あの第一回利払い日・決算日は頼めない」ということは事実だとすればあの四人目が手兵だし更に合板である fact10: あの四人目は入滅しないとすれば「その替え金売りは補間鋪作であるということはないけど入滅する」ということは成り立たない fact11: 合板は補間鋪作だ fact12: もしもあの接続面が手兵だとすればそれは頼める fact13: もし仮になにかは引っ繰り返らないとするとあの第一回利払い日・決算日は熱し易い一方で一日するということはない fact14: あの御家は補間鋪作だ fact15: あの御家が一日するとすればあの剣道部は合板である fact16: もし「なにがしかの物は敵中深くないしいじらしいということはない」ということは成り立つということはないなら「手兵である」ということは本当である fact17: もしも「あるものは巻き戻さないかもしくは熱し易いかまたは両方だ」ということは事実でないとすればそれは入滅するということはない fact18: もしも「なにがしかのものは入滅しなくてそれは命名しない」ということは事実と異なるとしたらそれは入り切る fact19: あのエピローグは一日する fact20: もし仮にその剣道部は一日するとしたら「その替え金売りは巻き戻さないかあるいは熱し易いかあるいは両方ともだ」ということは事実と異なる fact21: もし「あの御家は区域性でない一方でそれは合板である」ということは成り立たないとしたらあの四人目は補間鋪作だということはない fact22: あの第一回利払い日・決算日は合板なら「あの接続面は敵中深くなくて更にいじらしくない」ということは成り立たない fact23: あの接続面は一日しない fact24: もしその替え金売りが入滅しないとしたらそれは頼めない
void -> assump1: 以下のように仮定する。あの第一回利払い日・決算日は合板だ; fact22 & assump1 -> int1: 「あの接続面は敵中深くなくてそれはいじらしいということはない」ということは偽である; fact16 -> int2: 「あの接続面は敵中深くなくてかついじらしくない」ということは本当でないならばそれは手兵だ; int1 & int2 -> int3: あの接続面は手兵である; int3 & fact5 -> int4: その替え金売りは頼める; fact17 -> int5: もし「その替え金売りは巻き戻すということはないかもしくは熱し易いかあるいはどちらもだ」ということは成り立たないならばそれは入滅しない; fact20 & fact7 -> int6: 「その替え金売りは巻き戻さないかもしくは熱し易い」ということは成り立たない; int5 & int6 -> int7: その替え金売りは入滅しない; fact24 & int7 -> int8: その替え金売りは頼めない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの第一回利払い日・決算日は合板でない; int10 & fact8 -> int11: 「あの御家は区域性でないけどそれは合板である」ということは嘘である; int11 & fact21 -> hypothesis;
「もしも「あの回線交換は入滅しないし命名しない」ということは成り立たないとすればあの回線交換は入り切る」ということは事実である
fact25 -> hypothesis;
$facts$ = fact1: あの四人目は熱し易くない fact2: もし仮にあの第一回利払い日・決算日が巻き戻さないならばそれは区域性でないかあるいは入滅しない fact3: もしもとある物は区域性でないとすると頼めない fact4: あの接続面は引っ繰り返らない fact5: もし仮にあの接続面が手兵だとすればあの替え金売りは頼める fact6: もし仮に熱し易いものが一日しないならそれは巻き戻さない fact7: その剣道部は一日する fact8: もしあの第一回利払い日・決算日は合板でないとすると「あの御家は区域性でないがしかし合板だ」ということは成り立たない fact9: もし「あの第一回利払い日・決算日は頼めない」ということは事実だとすればあの四人目が手兵だし更に合板である fact10: あの四人目は入滅しないとすれば「その替え金売りは補間鋪作であるということはないけど入滅する」ということは成り立たない fact11: 合板は補間鋪作だ fact12: もしもあの接続面が手兵だとすればそれは頼める fact13: もし仮になにかは引っ繰り返らないとするとあの第一回利払い日・決算日は熱し易い一方で一日するということはない fact14: あの御家は補間鋪作だ fact15: あの御家が一日するとすればあの剣道部は合板である fact16: もし「なにがしかの物は敵中深くないしいじらしいということはない」ということは成り立つということはないなら「手兵である」ということは本当である fact17: もしも「あるものは巻き戻さないかもしくは熱し易いかまたは両方だ」ということは事実でないとすればそれは入滅するということはない fact18: もしも「なにがしかのものは入滅しなくてそれは命名しない」ということは事実と異なるとしたらそれは入り切る fact19: あのエピローグは一日する fact20: もし仮にその剣道部は一日するとしたら「その替え金売りは巻き戻さないかあるいは熱し易いかあるいは両方ともだ」ということは事実と異なる fact21: もし「あの御家は区域性でない一方でそれは合板である」ということは成り立たないとしたらあの四人目は補間鋪作だということはない fact22: あの第一回利払い日・決算日は合板なら「あの接続面は敵中深くなくて更にいじらしくない」ということは成り立たない fact23: あの接続面は一日しない fact24: もしその替え金売りが入滅しないとしたらそれは頼めない ; $hypothesis$ = 「あの四人目は補間鋪作であるということはない」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの第一回利払い日・決算日は合板だ; fact22 & assump1 -> int1: 「あの接続面は敵中深くなくてそれはいじらしいということはない」ということは偽である; fact16 -> int2: 「あの接続面は敵中深くなくてかついじらしくない」ということは本当でないならばそれは手兵だ; int1 & int2 -> int3: あの接続面は手兵である; int3 & fact5 -> int4: その替え金売りは頼める; fact17 -> int5: もし「その替え金売りは巻き戻すということはないかもしくは熱し易いかあるいはどちらもだ」ということは成り立たないならばそれは入滅しない; fact20 & fact7 -> int6: 「その替え金売りは巻き戻さないかもしくは熱し易い」ということは成り立たない; int5 & int6 -> int7: その替え金売りは入滅しない; fact24 & int7 -> int8: その替え金売りは頼めない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの第一回利払い日・決算日は合板でない; int10 & fact8 -> int11: 「あの御家は区域性でないけどそれは合板である」ということは嘘である; int11 & fact21 -> hypothesis; __PROVED__
事実1: あの四人目は熱し易くない
事実2: もし仮にあの第一回利払い日・決算日が巻き戻さないならばそれは区域性でないかあるいは入滅しない
事実3: もしもとある物は区域性でないとすると頼めない
事実4: あの接続面は引っ繰り返らない
事実5: もし仮にあの接続面が手兵だとすればあの替え金売りは頼める
事実6: もし仮に熱し易いものが一日しないならそれは巻き戻さない
事実7: その剣道部は一日する
事実8: もしあの第一回利払い日・決算日は合板でないとすると「あの御家は区域性でないがしかし合板だ」ということは成り立たない
事実9: もし「あの第一回利払い日・決算日は頼めない」ということは事実だとすればあの四人目が手兵だし更に合板である
事実10: あの四人目は入滅しないとすれば「その替え金売りは補間鋪作であるということはないけど入滅する」ということは成り立たない
事実11: 合板は補間鋪作だ
事実12: もしもあの接続面が手兵だとすればそれは頼める
事実13: もし仮になにかは引っ繰り返らないとするとあの第一回利払い日・決算日は熱し易い一方で一日するということはない
事実14: あの御家は補間鋪作だ
事実15: あの御家が一日するとすればあの剣道部は合板である
事実16: もし「なにがしかの物は敵中深くないしいじらしいということはない」ということは成り立つということはないなら「手兵である」ということは本当である
事実17: もしも「あるものは巻き戻さないかもしくは熱し易いかまたは両方だ」ということは事実でないとすればそれは入滅するということはない
事実18: もしも「なにがしかのものは入滅しなくてそれは命名しない」ということは事実と異なるとしたらそれは入り切る
事実19: あのエピローグは一日する
事実20: もし仮にその剣道部は一日するとしたら「その替え金売りは巻き戻さないかあるいは熱し易いかあるいは両方ともだ」ということは事実と異なる
事実21: もし「あの御家は区域性でない一方でそれは合板である」ということは成り立たないとしたらあの四人目は補間鋪作だということはない
事実22: あの第一回利払い日・決算日は合板なら「あの接続面は敵中深くなくて更にいじらしくない」ということは成り立たない
事実23: あの接続面は一日しない
事実24: もしその替え金売りが入滅しないとしたらそれは頼めない

仮説: 「あの四人目は補間鋪作であるということはない」ということは本当である
1. 仮定1: 以下のように仮定する。あの第一回利払い日・決算日は合板だ
2. 事実22と仮定1から、推論1: "「あの接続面は敵中深くなくてそれはいじらしいということはない」ということは偽である"が導かれる
3. 事実16から、推論2: "「あの接続面は敵中深くなくてかついじらしくない」ということは本当でないならばそれは手兵だ"が導かれる
4. 推論1と推論2から、推論3: "あの接続面は手兵である"が導かれる
5. 推論3と事実5から、推論4: "その替え金売りは頼める"が導かれる
6. 事実17から、推論5: "もし「その替え金売りは巻き戻すということはないかもしくは熱し易いかあるいはどちらもだ」ということは成り立たないならばそれは入滅しない"が導かれる
7. 事実20と事実7から、推論6: "「その替え金売りは巻き戻さないかもしくは熱し易い」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "その替え金売りは入滅しない"が導かれる
9. 事実24と推論7から、推論8: "その替え金売りは頼めない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの第一回利払い日・決算日は合板でない"が導かれる
12. 推論10と事実8から、推論11: "「あの御家は区域性でないけどそれは合板である」ということは嘘である"が導かれる
13. 推論11と事実21から、仮説が導かれる

よって、仮説が証明されました。