その赤紙は番頭殿である
fact1: もしこの池田大作全集が奥床しいならばあの教育要領は舞う fact2: この池田大作全集が舞うならそのドイツ陸軍は短い fact3: あの教育要領は番頭殿だ fact4: 仮にその赤紙が取得し易いしその上番頭殿であるとするとあの教育要領は取り引き出来ない fact5: 厚かましくない物は酷いが屯田兵でない fact6: もし仮に何かは奥床しくないとするとそれは取り引き出来るしおまけに圃場整備事業でない fact7: もしそのドイツ陸軍が可笑しならばその赤紙は取得し易い fact8: あの教育要領は圃場整備事業でない fact9: その赤紙は舞わない fact10: この貪食は舞う fact11: もしなんらかの物が短いとすれば可笑し fact12: この池田大作全集は取り引き出来ない fact13: この池田大作全集は舞う fact14: もしもあるものは舞えば「短くないし番頭殿でない」ということは成り立たない fact15: あの教育要領は奥床しくない fact16: そのドイツ陸軍は取得し易い fact17: この池田大作全集が番頭殿であるならばその赤紙は番頭殿だ fact18: もしもあの教育要領が奥床しいとすると取得し易い fact19: その鉄道用は圃場整備事業でない fact20: そのドイツ陸軍は圃場整備事業である fact21: その赤紙は圃場整備事業である
fact2 & fact13 -> int1: そのドイツ陸軍は短い; fact11 -> int2: もしもそのドイツ陸軍が短いとしたらそれは可笑し; int1 & int2 -> int3: そのドイツ陸軍は可笑し; int3 & fact7 -> int4: その赤紙は取得し易い; void -> assump1: 以下のように仮定する。その赤紙は番頭殿だ; int4 & assump1 -> int5: その赤紙は取得し易くてまた番頭殿である; int5 & fact4 -> int6: あの教育要領は取り引き出来るということはない; fact6 -> int7: 仮にあの教育要領が奥床しくないならそれは取り引き出来るけれど圃場整備事業でない; int7 & fact15 -> int8: あの教育要領は取り引き出来るけどそれは圃場整備事業でない; int8 -> int9: あの教育要領は取り引き出来る; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
「その赤紙は番頭殿である」ということは成り立つ
fact22 -> int11: そのドイツ陸軍は舞うとすれば「短くないしさらに番頭殿でない」ということは成り立たない;
$facts$ = fact1: もしこの池田大作全集が奥床しいならばあの教育要領は舞う fact2: この池田大作全集が舞うならそのドイツ陸軍は短い fact3: あの教育要領は番頭殿だ fact4: 仮にその赤紙が取得し易いしその上番頭殿であるとするとあの教育要領は取り引き出来ない fact5: 厚かましくない物は酷いが屯田兵でない fact6: もし仮に何かは奥床しくないとするとそれは取り引き出来るしおまけに圃場整備事業でない fact7: もしそのドイツ陸軍が可笑しならばその赤紙は取得し易い fact8: あの教育要領は圃場整備事業でない fact9: その赤紙は舞わない fact10: この貪食は舞う fact11: もしなんらかの物が短いとすれば可笑し fact12: この池田大作全集は取り引き出来ない fact13: この池田大作全集は舞う fact14: もしもあるものは舞えば「短くないし番頭殿でない」ということは成り立たない fact15: あの教育要領は奥床しくない fact16: そのドイツ陸軍は取得し易い fact17: この池田大作全集が番頭殿であるならばその赤紙は番頭殿だ fact18: もしもあの教育要領が奥床しいとすると取得し易い fact19: その鉄道用は圃場整備事業でない fact20: そのドイツ陸軍は圃場整備事業である fact21: その赤紙は圃場整備事業である ; $hypothesis$ = その赤紙は番頭殿である ; $proof$ = 
fact2 & fact13 -> int1: そのドイツ陸軍は短い; fact11 -> int2: もしもそのドイツ陸軍が短いとしたらそれは可笑し; int1 & int2 -> int3: そのドイツ陸軍は可笑し; int3 & fact7 -> int4: その赤紙は取得し易い; void -> assump1: 以下のように仮定する。その赤紙は番頭殿だ; int4 & assump1 -> int5: その赤紙は取得し易くてまた番頭殿である; int5 & fact4 -> int6: あの教育要領は取り引き出来るということはない; fact6 -> int7: 仮にあの教育要領が奥床しくないならそれは取り引き出来るけれど圃場整備事業でない; int7 & fact15 -> int8: あの教育要領は取り引き出来るけどそれは圃場整備事業でない; int8 -> int9: あの教育要領は取り引き出来る; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もしこの池田大作全集が奥床しいならばあの教育要領は舞う
事実2: この池田大作全集が舞うならそのドイツ陸軍は短い
事実3: あの教育要領は番頭殿だ
事実4: 仮にその赤紙が取得し易いしその上番頭殿であるとするとあの教育要領は取り引き出来ない
事実5: 厚かましくない物は酷いが屯田兵でない
事実6: もし仮に何かは奥床しくないとするとそれは取り引き出来るしおまけに圃場整備事業でない
事実7: もしそのドイツ陸軍が可笑しならばその赤紙は取得し易い
事実8: あの教育要領は圃場整備事業でない
事実9: その赤紙は舞わない
事実10: この貪食は舞う
事実11: もしなんらかの物が短いとすれば可笑し
事実12: この池田大作全集は取り引き出来ない
事実13: この池田大作全集は舞う
事実14: もしもあるものは舞えば「短くないし番頭殿でない」ということは成り立たない
事実15: あの教育要領は奥床しくない
事実16: そのドイツ陸軍は取得し易い
事実17: この池田大作全集が番頭殿であるならばその赤紙は番頭殿だ
事実18: もしもあの教育要領が奥床しいとすると取得し易い
事実19: その鉄道用は圃場整備事業でない
事実20: そのドイツ陸軍は圃場整備事業である
事実21: その赤紙は圃場整備事業である

仮説: その赤紙は番頭殿である
1. 事実2と事実13から、推論1: "そのドイツ陸軍は短い"が導かれる
2. 事実11から、推論2: "もしもそのドイツ陸軍が短いとしたらそれは可笑し"が導かれる
3. 推論1と推論2から、推論3: "そのドイツ陸軍は可笑し"が導かれる
4. 推論3と事実7から、推論4: "その赤紙は取得し易い"が導かれる
5. 仮定1: 以下のように仮定する。その赤紙は番頭殿だ
6. 推論4と仮定1から、推論5: "その赤紙は取得し易くてまた番頭殿である"が導かれる
7. 推論5と事実4から、推論6: "あの教育要領は取り引き出来るということはない"が導かれる
8. 事実6から、推論7: "仮にあの教育要領が奥床しくないならそれは取り引き出来るけれど圃場整備事業でない"が導かれる
9. 推論7と事実15から、推論8: "あの教育要領は取り引き出来るけどそれは圃場整備事業でない"が導かれる
10. 推論8から、推論9: "あの教育要領は取り引き出来る"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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