その語訳は本土決戦だ
fact1: 「もしもこのプロカインアミドが不動産投資だとしたらその頂上直下は建築素材である」ということは間違っていない fact2: その頂上直下が特製しないかまたはそれが集め易いならばあのプロカインアミドは特製するということはない fact3: もし仮にその頂上直下が女々しくてまたそれが建築素材であるならばその語訳は本土決戦でない fact4: 「あのタブローは回顧するということはないししかも分類指標でない」ということは成り立たない fact5: 「この所属大学は特製するしさらに持て成す」ということは成り立たない fact6: もしもあるものは建築素材でないとしたら「それが不動産投資だしまた本土決戦でない」ということは偽だ fact7: 仮になんらかの物は忘れっぽくないとすると「それは本土決戦だけれど特製しない」ということは本当でない fact8: 「もしこの所属大学が女々しいとしたらその頂上直下は女々しい」ということは本当である fact9: もしあのタブローが分類指標だとしたらこのプロカインアミドは不動産投資である fact10: この所属大学は女々しいけれど特製しない fact11: もし仮にこのプロカインアミドはワゴンセールだとすれば「あのタブローは持て成さないしおまけに集め易くない」ということは成り立たない fact12: 仮に「あのタブローは回顧するということはなくておまけに分類指標でない」ということは事実だということはないとするとこのプロカインアミドは不動産投資である fact13: 何かは特製しないとしたらそれは女々しくて建築素材である fact14: もしもこのプロカインアミドが女々しくて建築素材であるならあのタブローは建築素材でない fact15: 仮に「あのタブローは持て成すということはないししかも集め易くない」ということは偽ならばその頂上直下は忘れっぽくない fact16: もしもなんらかのものが女々しかないとすると不動産投資でそれにそれは建築素材だ
fact12 & fact4 -> int1: このプロカインアミドは不動産投資である; int1 & fact1 -> int2: その頂上直下は建築素材だ; fact10 -> int3: この所属大学は女々しい; fact8 & int3 -> int4: その頂上直下は女々しい; int2 & int4 -> int5: その頂上直下は女々しくてそれに建築素材だ; int5 & fact3 -> hypothesis;
その語訳は本土決戦だ
fact17 -> int6: もしあのタブローは建築素材だということはないとしたら「それは不動産投資だけれど本土決戦であるということはない」ということは誤りである; fact20 -> int7: このプロカインアミドが特製するということはないとしたらそれは女々しいしまた建築素材だ;
$facts$ = fact1: 「もしもこのプロカインアミドが不動産投資だとしたらその頂上直下は建築素材である」ということは間違っていない fact2: その頂上直下が特製しないかまたはそれが集め易いならばあのプロカインアミドは特製するということはない fact3: もし仮にその頂上直下が女々しくてまたそれが建築素材であるならばその語訳は本土決戦でない fact4: 「あのタブローは回顧するということはないししかも分類指標でない」ということは成り立たない fact5: 「この所属大学は特製するしさらに持て成す」ということは成り立たない fact6: もしもあるものは建築素材でないとしたら「それが不動産投資だしまた本土決戦でない」ということは偽だ fact7: 仮になんらかの物は忘れっぽくないとすると「それは本土決戦だけれど特製しない」ということは本当でない fact8: 「もしこの所属大学が女々しいとしたらその頂上直下は女々しい」ということは本当である fact9: もしあのタブローが分類指標だとしたらこのプロカインアミドは不動産投資である fact10: この所属大学は女々しいけれど特製しない fact11: もし仮にこのプロカインアミドはワゴンセールだとすれば「あのタブローは持て成さないしおまけに集め易くない」ということは成り立たない fact12: 仮に「あのタブローは回顧するということはなくておまけに分類指標でない」ということは事実だということはないとするとこのプロカインアミドは不動産投資である fact13: 何かは特製しないとしたらそれは女々しくて建築素材である fact14: もしもこのプロカインアミドが女々しくて建築素材であるならあのタブローは建築素材でない fact15: 仮に「あのタブローは持て成すということはないししかも集め易くない」ということは偽ならばその頂上直下は忘れっぽくない fact16: もしもなんらかのものが女々しかないとすると不動産投資でそれにそれは建築素材だ ; $hypothesis$ = その語訳は本土決戦だ ; $proof$ = 
fact12 & fact4 -> int1: このプロカインアミドは不動産投資である; int1 & fact1 -> int2: その頂上直下は建築素材だ; fact10 -> int3: この所属大学は女々しい; fact8 & int3 -> int4: その頂上直下は女々しい; int2 & int4 -> int5: その頂上直下は女々しくてそれに建築素材だ; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: 「もしもこのプロカインアミドが不動産投資だとしたらその頂上直下は建築素材である」ということは間違っていない
事実2: その頂上直下が特製しないかまたはそれが集め易いならばあのプロカインアミドは特製するということはない
事実3: もし仮にその頂上直下が女々しくてまたそれが建築素材であるならばその語訳は本土決戦でない
事実4: 「あのタブローは回顧するということはないししかも分類指標でない」ということは成り立たない
事実5: 「この所属大学は特製するしさらに持て成す」ということは成り立たない
事実6: もしもあるものは建築素材でないとしたら「それが不動産投資だしまた本土決戦でない」ということは偽だ
事実7: 仮になんらかの物は忘れっぽくないとすると「それは本土決戦だけれど特製しない」ということは本当でない
事実8: 「もしこの所属大学が女々しいとしたらその頂上直下は女々しい」ということは本当である
事実9: もしあのタブローが分類指標だとしたらこのプロカインアミドは不動産投資である
事実10: この所属大学は女々しいけれど特製しない
事実11: もし仮にこのプロカインアミドはワゴンセールだとすれば「あのタブローは持て成さないしおまけに集め易くない」ということは成り立たない
事実12: 仮に「あのタブローは回顧するということはなくておまけに分類指標でない」ということは事実だということはないとするとこのプロカインアミドは不動産投資である
事実13: 何かは特製しないとしたらそれは女々しくて建築素材である
事実14: もしもこのプロカインアミドが女々しくて建築素材であるならあのタブローは建築素材でない
事実15: 仮に「あのタブローは持て成すということはないししかも集め易くない」ということは偽ならばその頂上直下は忘れっぽくない
事実16: もしもなんらかのものが女々しかないとすると不動産投資でそれにそれは建築素材だ

仮説: その語訳は本土決戦だ
1. 事実12と事実4から、推論1: "このプロカインアミドは不動産投資である"が導かれる
2. 推論1と事実1から、推論2: "その頂上直下は建築素材だ"が導かれる
3. 事実10から、推論3: "この所属大学は女々しい"が導かれる
4. 事実8と推論3から、推論4: "その頂上直下は女々しい"が導かれる
5. 推論2と推論4から、推論5: "その頂上直下は女々しくてそれに建築素材だ"が導かれる
6. 推論5と事実3から、仮説が否定される

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