このペー族は誤解し易いということはないかもしくは上陸出来るかまたは両方ともだ
fact1: もしそのＲＩ法が混同し易いとしたらこの運送屋は縮減するかもしくは木霊しない fact2: もし「このペー族は疑う」ということは確かでないとすれば誤解し易いかあるいはそれは上陸出来る fact3: すっごくないしおまけに欲深いものはある fact4: もしもあの予算文書が飛散するとしたらそれは創隊する fact5: 「その屎尿処理はすっごくないけれど欲深い」ということは間違いである fact6: 仮に「すっごい」ものがあるならこのペー族は疑わない fact7: 「その屎尿処理はすっごくて欲深い」ということは嘘だ fact8: もしも「「上陸出来ないけど欲深い」ということは間違いな」物はあるなら「その屎尿処理は疑わない」ということは確かだ fact9: ある物は申し訳無いとしたら「鑑賞し易いがツイードでない」ということは成り立たない fact10: もし仮にあの予算文書が社会革命派だとすると創隊する fact11: もしこの運送屋が木霊しないならこのペー族は疑う fact12: なんらかのものが疑わないとすればそれは誤解し易いかもしくは上陸出来る fact13: 仮に「何らかのものは鑑賞し易いけれどツイードでない」ということは事実でないとしたら「「混同し易くない」ということは真実でない」ということは成り立つ fact14: 何かは疑わないとすれば誤解し易くないかそれは上陸出来るかどちらもである fact15: もしも「「すっごいということはない一方で欲深い」ということは誤りな」物があればこのペー族は疑わない fact16: 「その屎尿処理は拝借しないがそれはすっごい」ということは嘘だ fact17: このペー族は誤解し易いかまたは上陸出来るかあるいはどちらもだ fact18: もし仮にあるものは疑うとすれば「それは誤解し易くないかまたは上陸出来るかあるいは両方ともだ」ということは成り立たない fact19: あの予算文書は社会革命派であるか飛散する fact20: もし仮になにかは縮減するか木霊しないかあるいは両方ならばそれは木霊しない fact21: 「「すっごいしその上欲深い」ということは間違っている」ものはある
fact5 -> int1: 「「すっごくないしかつ欲深い」ということは成り立たない」ものはある; int1 & fact15 -> int2: 「このペー族は疑わない」ということは本当である; fact14 -> int3: もしもこのペー族は疑うということはないとすれば「それは誤解し易くないかもしくは上陸出来るかあるいは両方ともである」ということは本当である; int2 & int3 -> hypothesis;
fact5 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact15 -> int2: ¬{A}{a}; fact14 -> int3: ¬{A}{a} -> (¬{B}{a} v {C}{a}); int2 & int3 -> hypothesis;
「「このペー族は誤解し易くないかあるいは上陸出来る」ということは嘘である」ということは本当だ
fact27 -> int4: 仮にこのペー族は疑うとしたら「それは誤解し易くないかもしくはそれは上陸出来る」ということは成り立たない; fact25 -> int5: もし仮にこの運送屋は縮減するかあるいは木霊しないかどちらもであるならそれは木霊しない; fact26 -> int6: 仮に「そのＲＩ法は鑑賞し易いけどそれはツイードであるということはない」ということは成り立たないとすると混同し易い; fact24 -> int7: 仮にそのＲＩ法は申し訳無いとしたら「鑑賞し易くてそれはツイードでない」ということは誤りである; fact29 & fact28 & fact30 -> int8: あの予算文書は創隊する; int8 -> int9: 「「創隊する」ということは本当である」ものはある;
$facts$ = fact1: もしそのＲＩ法が混同し易いとしたらこの運送屋は縮減するかもしくは木霊しない fact2: もし「このペー族は疑う」ということは確かでないとすれば誤解し易いかあるいはそれは上陸出来る fact3: すっごくないしおまけに欲深いものはある fact4: もしもあの予算文書が飛散するとしたらそれは創隊する fact5: 「その屎尿処理はすっごくないけれど欲深い」ということは間違いである fact6: 仮に「すっごい」ものがあるならこのペー族は疑わない fact7: 「その屎尿処理はすっごくて欲深い」ということは嘘だ fact8: もしも「「上陸出来ないけど欲深い」ということは間違いな」物はあるなら「その屎尿処理は疑わない」ということは確かだ fact9: ある物は申し訳無いとしたら「鑑賞し易いがツイードでない」ということは成り立たない fact10: もし仮にあの予算文書が社会革命派だとすると創隊する fact11: もしこの運送屋が木霊しないならこのペー族は疑う fact12: なんらかのものが疑わないとすればそれは誤解し易いかもしくは上陸出来る fact13: 仮に「何らかのものは鑑賞し易いけれどツイードでない」ということは事実でないとしたら「「混同し易くない」ということは真実でない」ということは成り立つ fact14: 何かは疑わないとすれば誤解し易くないかそれは上陸出来るかどちらもである fact15: もしも「「すっごいということはない一方で欲深い」ということは誤りな」物があればこのペー族は疑わない fact16: 「その屎尿処理は拝借しないがそれはすっごい」ということは嘘だ fact17: このペー族は誤解し易いかまたは上陸出来るかあるいはどちらもだ fact18: もし仮にあるものは疑うとすれば「それは誤解し易くないかまたは上陸出来るかあるいは両方ともだ」ということは成り立たない fact19: あの予算文書は社会革命派であるか飛散する fact20: もし仮になにかは縮減するか木霊しないかあるいは両方ならばそれは木霊しない fact21: 「「すっごいしその上欲深い」ということは間違っている」ものはある ; $hypothesis$ = このペー族は誤解し易いということはないかもしくは上陸出来るかまたは両方ともだ ; $proof$ = 
fact5 -> int1: 「「すっごくないしかつ欲深い」ということは成り立たない」ものはある; int1 & fact15 -> int2: 「このペー族は疑わない」ということは本当である; fact14 -> int3: もしもこのペー族は疑うということはないとすれば「それは誤解し易くないかもしくは上陸出来るかあるいは両方ともである」ということは本当である; int2 & int3 -> hypothesis; __PROVED__
事実1: もしそのＲＩ法が混同し易いとしたらこの運送屋は縮減するかもしくは木霊しない
事実2: もし「このペー族は疑う」ということは確かでないとすれば誤解し易いかあるいはそれは上陸出来る
事実3: すっごくないしおまけに欲深いものはある
事実4: もしもあの予算文書が飛散するとしたらそれは創隊する
事実5: 「その屎尿処理はすっごくないけれど欲深い」ということは間違いである
事実6: 仮に「すっごい」ものがあるならこのペー族は疑わない
事実7: 「その屎尿処理はすっごくて欲深い」ということは嘘だ
事実8: もしも「「上陸出来ないけど欲深い」ということは間違いな」物はあるなら「その屎尿処理は疑わない」ということは確かだ
事実9: ある物は申し訳無いとしたら「鑑賞し易いがツイードでない」ということは成り立たない
事実10: もし仮にあの予算文書が社会革命派だとすると創隊する
事実11: もしこの運送屋が木霊しないならこのペー族は疑う
事実12: なんらかのものが疑わないとすればそれは誤解し易いかもしくは上陸出来る
事実13: 仮に「何らかのものは鑑賞し易いけれどツイードでない」ということは事実でないとしたら「「混同し易くない」ということは真実でない」ということは成り立つ
事実14: 何かは疑わないとすれば誤解し易くないかそれは上陸出来るかどちらもである
事実15: もしも「「すっごいということはない一方で欲深い」ということは誤りな」物があればこのペー族は疑わない
事実16: 「その屎尿処理は拝借しないがそれはすっごい」ということは嘘だ
事実17: このペー族は誤解し易いかまたは上陸出来るかあるいはどちらもだ
事実18: もし仮にあるものは疑うとすれば「それは誤解し易くないかまたは上陸出来るかあるいは両方ともだ」ということは成り立たない
事実19: あの予算文書は社会革命派であるか飛散する
事実20: もし仮になにかは縮減するか木霊しないかあるいは両方ならばそれは木霊しない
事実21: 「「すっごいしその上欲深い」ということは間違っている」ものはある

仮説: このペー族は誤解し易いということはないかもしくは上陸出来るかまたは両方ともだ
1. 事実5から、推論1: "「「すっごくないしかつ欲深い」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実15から、推論2: "「このペー族は疑わない」ということは本当である"が導かれる
3. 事実14から、推論3: "もしもこのペー族は疑うということはないとすれば「それは誤解し易くないかもしくは上陸出来るかあるいは両方ともである」ということは本当である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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