「物凄くない」ものはある
fact1: 何らかのものがインベーダーゲームならばそれは物凄くない fact2: もしこの路上駐車場は生物学的テロリズムでないとしたらそれは扱い難くて更に実施体制だ fact3: あの篠は軟らかいかもしくは物凄いかもしくは両方ともである fact4: 「家族状況でない」ものはある fact5: その決定は来世である fact6: 「防空頭巾でない」物はある fact7: もし仮にその決定が来世であるかもしくは苦しとしたら価額決定でない fact8: もしもなにがしかのものは洗濯物でないならばそれは喋り出すということはなくておまけに庇い手でない fact9: その決定は冴えるかそれは播種するかまたはどちらもである fact10: もし仮に「「生物学的テロリズムである一方で身動き出来ない」ということは成り立たない」ものがあるとしたらこの路上駐車場は生物学的テロリズムでない fact11: 仮に何らかのものは来世であるかもしくはインベーダーゲームだとしたらそれは物凄いということはない fact12: そのインクルーシブ教育が選択画面であるかまたは信じ易いかもしくはどちらもだとしたらそれは物凄くない fact13: 「物凄い」物はある fact14: 「国際条約であるということはない」物はある fact15: 「「疎ましくらない」ということは成り立つ」物はある fact16: もし「その決定はインベーダーゲームだ」ということは本当だとすれば物凄くない fact17: このフラワーは物凄いか予選するかまたは両方だ fact18: 「「生物学的テロリズムでかつ身動き出来ない」ということは誤りである」物はある fact19: もし何かは来世でない一方でインベーダーゲームだとすると草履取りである fact20: 「潔しない」ものはある fact21: あの本取り引きは喋り出さないしさらに庇い手でないとすると「この後方連関効果は物凄い」ということは成り立つ fact22: もし仮にその決定は物凄いかもしくは退色し易いか両方ともなら御勧め出来ない
fact5 -> int1: その決定は来世であるかもしくはそれはインベーダーゲームだ; fact11 -> int2: もしもその決定は来世であるかまたはインベーダーゲームであるか両方ともだとすれば物凄いということはない; int1 & int2 -> int3: その決定は物凄くない; int3 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); fact11 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 -> hypothesis;
「その決定は草履取りである」ということは成り立つ
fact27 -> int4: 仮にその決定は来世でないがインベーダーゲームだとしたら草履取りだ; fact28 -> int5: もしあの本取り引きが洗濯物でないならばそれは喋り出さないしかつそれは庇い手でない; fact24 & fact25 -> int6: この路上駐車場は生物学的テロリズムでない; fact26 & int6 -> int7: この路上駐車場は扱い難いし加えて実施体制だ; int7 -> 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: あの本取り引きは喋り出さないしさらに庇い手でないとすると「この後方連関効果は物凄い」ということは成り立つ fact22: もし仮にその決定は物凄いかもしくは退色し易いか両方ともなら御勧め出来ない ; $hypothesis$ = 「物凄くない」ものはある ; $proof$ = 
fact5 -> int1: その決定は来世であるかもしくはそれはインベーダーゲームだ; fact11 -> int2: もしもその決定は来世であるかまたはインベーダーゲームであるか両方ともだとすれば物凄いということはない; int1 & int2 -> int3: その決定は物凄くない; int3 -> hypothesis; __PROVED__
事実1: 何らかのものがインベーダーゲームならばそれは物凄くない
事実2: もしこの路上駐車場は生物学的テロリズムでないとしたらそれは扱い難くて更に実施体制だ
事実3: あの篠は軟らかいかもしくは物凄いかもしくは両方ともである
事実4: 「家族状況でない」ものはある
事実5: その決定は来世である
事実6: 「防空頭巾でない」物はある
事実7: もし仮にその決定が来世であるかもしくは苦しとしたら価額決定でない
事実8: もしもなにがしかのものは洗濯物でないならばそれは喋り出すということはなくておまけに庇い手でない
事実9: その決定は冴えるかそれは播種するかまたはどちらもである
事実10: もし仮に「「生物学的テロリズムである一方で身動き出来ない」ということは成り立たない」ものがあるとしたらこの路上駐車場は生物学的テロリズムでない
事実11: 仮に何らかのものは来世であるかもしくはインベーダーゲームだとしたらそれは物凄いということはない
事実12: そのインクルーシブ教育が選択画面であるかまたは信じ易いかもしくはどちらもだとしたらそれは物凄くない
事実13: 「物凄い」物はある
事実14: 「国際条約であるということはない」物はある
事実15: 「「疎ましくらない」ということは成り立つ」物はある
事実16: もし「その決定はインベーダーゲームだ」ということは本当だとすれば物凄くない
事実17: このフラワーは物凄いか予選するかまたは両方だ
事実18: 「「生物学的テロリズムでかつ身動き出来ない」ということは誤りである」物はある
事実19: もし何かは来世でない一方でインベーダーゲームだとすると草履取りである
事実20: 「潔しない」ものはある
事実21: あの本取り引きは喋り出さないしさらに庇い手でないとすると「この後方連関効果は物凄い」ということは成り立つ
事実22: もし仮にその決定は物凄いかもしくは退色し易いか両方ともなら御勧め出来ない

仮説: 「物凄くない」ものはある
1. 事実5から、推論1: "その決定は来世であるかもしくはそれはインベーダーゲームだ"が導かれる
2. 事実11から、推論2: "もしもその決定は来世であるかまたはインベーダーゲームであるか両方ともだとすれば物凄いということはない"が導かれる
3. 推論1と推論2から、推論3: "その決定は物凄くない"が導かれる
4. 推論3から、仮説が導かれる

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