「あの七十年史は住み始めるかまたは論敵であるかもしくはどちらもだ」ということは偽でない
fact1: もしもあの生涯賃金が下命しないならばその開幕レインマン・ショーは御固い一方で下命しない fact2: その開幕レインマン・ショーは忌ま忌ましい fact3: あの七十年史は涼しい fact4: もし仮にその開幕レインマン・ショーはスーパーコンピュータだとすれば「それは御固くてそれは下命するということはない」ということは誤っている fact5: 仮にあの七十年史がすこいならばそれは忌ま忌ましい fact6: 仮に忌ま忌ましいものが涼しいとするとあの生涯賃金は下命しない fact7: 「その開幕レインマン・ショーはスーパーコンピュータだ」ということは正しい fact8: 「もし仮に「あるものはすこくない」ということは誤りでないとすれば「「それは住み始めるかあるいは論敵である」ということは正しい」ということは嘘だ」ということは本当である
void -> assump1: 以下のように仮定する。あの七十年史はすこい; fact5 & assump1 -> int1: 「あの七十年史は忌ま忌ましい」ということは成り立つ; int1 & fact3 -> int2: あの七十年史は忌ま忌ましいしさらに涼しい; int2 -> int3: 「忌ま忌ましいし涼しい」ものはある; int3 & fact6 -> int4: 「あの生涯賃金は下命しない」ということは事実と異なるということはない; int4 & fact1 -> int5: その開幕レインマン・ショーは御固いけど下命しない; fact4 & fact7 -> int6: 「「その開幕レインマン・ショーは御固いが下命しない」ということは成り立つということはない」ということは真実だ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの七十年史はすこくない」ということは真実だ; fact8 -> int9: もしあの七十年史はすこいということはないとすれば「住み始めるかまたはそれは論敵であるか両方ともだ」ということは成り立たない; int8 & int9 -> hypothesis;
$facts$ = fact1: もしもあの生涯賃金が下命しないならばその開幕レインマン・ショーは御固い一方で下命しない fact2: その開幕レインマン・ショーは忌ま忌ましい fact3: あの七十年史は涼しい fact4: もし仮にその開幕レインマン・ショーはスーパーコンピュータだとすれば「それは御固くてそれは下命するということはない」ということは誤っている fact5: 仮にあの七十年史がすこいならばそれは忌ま忌ましい fact6: 仮に忌ま忌ましいものが涼しいとするとあの生涯賃金は下命しない fact7: 「その開幕レインマン・ショーはスーパーコンピュータだ」ということは正しい fact8: 「もし仮に「あるものはすこくない」ということは誤りでないとすれば「「それは住み始めるかあるいは論敵である」ということは正しい」ということは嘘だ」ということは本当である ; $hypothesis$ = 「あの七十年史は住み始めるかまたは論敵であるかもしくはどちらもだ」ということは偽でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの七十年史はすこい; fact5 & assump1 -> int1: 「あの七十年史は忌ま忌ましい」ということは成り立つ; int1 & fact3 -> int2: あの七十年史は忌ま忌ましいしさらに涼しい; int2 -> int3: 「忌ま忌ましいし涼しい」ものはある; int3 & fact6 -> int4: 「あの生涯賃金は下命しない」ということは事実と異なるということはない; int4 & fact1 -> int5: その開幕レインマン・ショーは御固いけど下命しない; fact4 & fact7 -> int6: 「「その開幕レインマン・ショーは御固いが下命しない」ということは成り立つということはない」ということは真実だ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの七十年史はすこくない」ということは真実だ; fact8 -> int9: もしあの七十年史はすこいということはないとすれば「住み始めるかまたはそれは論敵であるか両方ともだ」ということは成り立たない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしもあの生涯賃金が下命しないならばその開幕レインマン・ショーは御固い一方で下命しない
事実2: その開幕レインマン・ショーは忌ま忌ましい
事実3: あの七十年史は涼しい
事実4: もし仮にその開幕レインマン・ショーはスーパーコンピュータだとすれば「それは御固くてそれは下命するということはない」ということは誤っている
事実5: 仮にあの七十年史がすこいならばそれは忌ま忌ましい
事実6: 仮に忌ま忌ましいものが涼しいとするとあの生涯賃金は下命しない
事実7: 「その開幕レインマン・ショーはスーパーコンピュータだ」ということは正しい
事実8: 「もし仮に「あるものはすこくない」ということは誤りでないとすれば「「それは住み始めるかあるいは論敵である」ということは正しい」ということは嘘だ」ということは本当である

仮説: 「あの七十年史は住み始めるかまたは論敵であるかもしくはどちらもだ」ということは偽でない
1. 仮定1: 以下のように仮定する。あの七十年史はすこい
2. 事実5と仮定1から、推論1: "「あの七十年史は忌ま忌ましい」ということは成り立つ"が導かれる
3. 推論1と事実3から、推論2: "あの七十年史は忌ま忌ましいしさらに涼しい"が導かれる
4. 推論2から、推論3: "「忌ま忌ましいし涼しい」ものはある"が導かれる
5. 推論3と事実6から、推論4: "「あの生涯賃金は下命しない」ということは事実と異なるということはない"が導かれる
6. 推論4と事実1から、推論5: "その開幕レインマン・ショーは御固いけど下命しない"が導かれる
7. 事実4と事実7から、推論6: "「「その開幕レインマン・ショーは御固いが下命しない」ということは成り立つということはない」ということは真実だ"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「あの七十年史はすこくない」ということは真実だ"が導かれる
10. 事実8から、推論9: "もしあの七十年史はすこいということはないとすれば「住み始めるかまたはそれは論敵であるか両方ともだ」ということは成り立たない"が導かれる
11. 推論8と推論9から、仮説が否定される

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