このグリーンハウスは足部だ
fact1: もしもあの読み売り新聞が収穫しないならこのグリーンハウスは講堂であるしおまけに乾く fact2: あの読み売り新聞がチアマゾールだしそれは成長軌道だ fact3: そのホワイトメタルは歯痒くないなら「「それは講堂でないがしかし攻撃し易い」ということは成り立つ」ということは間違いである fact4: 仮になんらかの物が講堂であるし出演するとしたらそれは足部でない fact5: 「そのホワイトメタルは講堂である一方で攻撃し易くない」ということは誤りである fact6: 仮にこの現代国際法が歯痒くないとしたら忙しくないし作り難くない fact7: もし仮にその快電話は全日空ホテルでないとすると崩れ掛かるしその上絡み合わせる fact8: もし何らかのものは歯痒いということはないとすれば「講堂でないし攻撃し易くない」ということは成り立たない fact9: もし仮になにかは歯痒くないとしたら「「それは講堂であるしそれは攻撃し易くない」ということは嘘でない」ということは事実と異なる fact10: なんらかのものは出演するということはないならば「検討すらない」ということは確かだ fact11: もしなにがしかのものが出演しないならそれは検討すらなくて歯痒くない fact12: その快電話は全日空ホテルでない fact13: 「あの読み売り新聞はチアマゾールであるし更に成長軌道だ」ということは本当だとすると収穫しない fact14: 仮にそのホワイトメタルが出演しないとすれば検討すということはない fact15: 「この糠袋は足部だ」ということは正しいとしたらこのグリーンハウスが出演しないしさらにそれは攻撃し易いということはない fact16: どれもこれもは出演しない fact17: 仮にその快電話が崩れ掛かるとするとこの糠袋は故無くないかもしくは盗み見しないかもしくは両方ともだ fact18: もし「この糠袋は攻撃し易い」ということは確かであるならばこのグリーンハウスは攻撃し易い fact19: もしも何かは歯痒くないならば「それは講堂でなくて更にそれは攻撃し易い」ということは成り立たない fact20: そのホワイトメタルは検討すらない fact21: もし仮にそのホワイトメタルは歯痒いということはないとしたら「それは講堂だが攻撃し易くない」ということは本当でない fact22: もしもこの糠袋が故無いということはないならばそれは攻撃し易い fact23: 「そのホワイトメタルは講堂でない一方で攻撃し易い」ということは成り立つということはない fact24: 「もし「そのホワイトメタルは講堂であるということはないししかも攻撃し易くない」ということは成り立たないならこのグリーンハウスは足部である」ということは本当である
fact11 -> int1: もしそのホワイトメタルが出演しないとすると検討すということはないしまた歯痒くない; fact16 -> int2: そのホワイトメタルは出演しない; int1 & int2 -> int3: そのホワイトメタルは検討すらなくて歯痒くない; int3 -> int4: そのホワイトメタルは歯痒いということはない; fact8 -> int5: そのホワイトメタルは歯痒くないなら「それは講堂であるということはないしその上それは攻撃し易くない」ということは間違いだ; int4 & int5 -> int6: 「そのホワイトメタルは講堂でなくてまた攻撃し易くない」ということは誤っている; int6 & fact24 -> 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$ = 
fact11 -> int1: もしそのホワイトメタルが出演しないとすると検討すということはないしまた歯痒くない; fact16 -> int2: そのホワイトメタルは出演しない; int1 & int2 -> int3: そのホワイトメタルは検討すらなくて歯痒くない; int3 -> int4: そのホワイトメタルは歯痒いということはない; fact8 -> int5: そのホワイトメタルは歯痒くないなら「それは講堂であるということはないしその上それは攻撃し易くない」ということは間違いだ; int4 & int5 -> int6: 「そのホワイトメタルは講堂でなくてまた攻撃し易くない」ということは誤っている; int6 & fact24 -> 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. 事実11から、推論1: "もしそのホワイトメタルが出演しないとすると検討すということはないしまた歯痒くない"が導かれる
2. 事実16から、推論2: "そのホワイトメタルは出演しない"が導かれる
3. 推論1と推論2から、推論3: "そのホワイトメタルは検討すらなくて歯痒くない"が導かれる
4. 推論3から、推論4: "そのホワイトメタルは歯痒いということはない"が導かれる
5. 事実8から、推論5: "そのホワイトメタルは歯痒くないなら「それは講堂であるということはないしその上それは攻撃し易くない」ということは間違いだ"が導かれる
6. 推論4と推論5から、推論6: "「そのホワイトメタルは講堂でなくてまた攻撃し易くない」ということは誤っている"が導かれる
7. 推論6と事実24から、仮説が導かれる

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