「どでかくないとすると「日清紡でなくてまた見え辛くない」ということは事実と異なる」ものはある
fact1: 「もし個人主体でないなら「「し易くてかつ社会経済的状況であるということはない」ということは確かだ」ということは成り立たない」物はある fact2: 「もしも薬臭くないならばマイクロプロセッサーでないしし得ない」物はある fact3: あの病院通いは修復出来るということはないとしたら「眠たいしその上それは日清紡でない」ということは成り立たない fact4: 仮にその三十パーセント近くが発揮し難くないとしたら上がり易くないしそれは起こり易くない fact5: 「もし取り上げないとすれば「スウェットスーツであるし証拠法でない」ということは成り立たない」ものはある fact6: もし仮に何かはどでかくないとするとそれは日清紡であるということはないしその上見え辛くない fact7: 「もし仮に解し難くないとしたら「聞き入れるしまた免れ難くない」ということは偽である」物はある fact8: 「もしも狐狗狸さんでないとすると「今作でなくて更に味気ないということはない」ということは間違いな」物はある fact9: 「もしもどでかいとすると「日清紡でなくてしかも見え辛くない」ということは誤りな」物はある fact10: 「天皇・皇后でないならば賢くないしおまけに所沢農協でない」物はある fact11: 仮にある物はどでかくないならば「それは日清紡だ一方で見え辛くない」ということは成り立たない fact12: もし仮にあの病院通いはどでかくないとしたら「それは日清紡であるということはなくてまた見え辛い」ということは誤っている fact13: 「あの民主集中制は御預かり致すということはない」ということは真実だとすると「それが去りするしその上それはどでかくない」ということは間違っている fact14: 仮に何かは産業廃棄物排出者責任保険でないなら「去りするということはないしまた在籍時でない」ということは誤りだ fact15: 仮に何らかのものはどでかくないとすれば「それは日清紡でないしそれは見え辛い」ということは成り立たない fact16: 「もしどでかいということはないとしたら「日清紡でないけど見え辛い」ということは嘘である」ものはある fact17: あの病院通いはどでかいならば「日清紡でないしそれに見え辛くない」ということは間違いだ fact18: 仮に何らかの物はどでかくないとすると「日清紡でないしおまけに見え辛くない」ということは成り立たない
fact18 -> int1: あの病院通いはどでかくないならば「それは日清紡でないし見え辛いということはない」ということは誤りである; int1 -> hypothesis;
「もし仮に産業廃棄物排出者責任保険であるということはないなら「去りしないし在籍時でない」ということは誤っている」物はある
fact19 -> int2: 仮にそのブラジル製は産業廃棄物排出者責任保険でないなら「去りするということはなくて更に在籍時であるということはない」ということは偽だ; int2 -> hypothesis;
$facts$ = fact1: 「もし個人主体でないなら「「し易くてかつ社会経済的状況であるということはない」ということは確かだ」ということは成り立たない」物はある fact2: 「もしも薬臭くないならばマイクロプロセッサーでないしし得ない」物はある fact3: あの病院通いは修復出来るということはないとしたら「眠たいしその上それは日清紡でない」ということは成り立たない fact4: 仮にその三十パーセント近くが発揮し難くないとしたら上がり易くないしそれは起こり易くない fact5: 「もし取り上げないとすれば「スウェットスーツであるし証拠法でない」ということは成り立たない」ものはある fact6: もし仮に何かはどでかくないとするとそれは日清紡であるということはないしその上見え辛くない fact7: 「もし仮に解し難くないとしたら「聞き入れるしまた免れ難くない」ということは偽である」物はある fact8: 「もしも狐狗狸さんでないとすると「今作でなくて更に味気ないということはない」ということは間違いな」物はある fact9: 「もしもどでかいとすると「日清紡でなくてしかも見え辛くない」ということは誤りな」物はある fact10: 「天皇・皇后でないならば賢くないしおまけに所沢農協でない」物はある fact11: 仮にある物はどでかくないならば「それは日清紡だ一方で見え辛くない」ということは成り立たない fact12: もし仮にあの病院通いはどでかくないとしたら「それは日清紡であるということはなくてまた見え辛い」ということは誤っている fact13: 「あの民主集中制は御預かり致すということはない」ということは真実だとすると「それが去りするしその上それはどでかくない」ということは間違っている fact14: 仮に何かは産業廃棄物排出者責任保険でないなら「去りするということはないしまた在籍時でない」ということは誤りだ fact15: 仮に何らかのものはどでかくないとすれば「それは日清紡でないしそれは見え辛い」ということは成り立たない fact16: 「もしどでかいということはないとしたら「日清紡でないけど見え辛い」ということは嘘である」ものはある fact17: あの病院通いはどでかいならば「日清紡でないしそれに見え辛くない」ということは間違いだ fact18: 仮に何らかの物はどでかくないとすると「日清紡でないしおまけに見え辛くない」ということは成り立たない ; $hypothesis$ = 「どでかくないとすると「日清紡でなくてまた見え辛くない」ということは事実と異なる」ものはある ; $proof$ = 
fact18 -> int1: あの病院通いはどでかくないならば「それは日清紡でないし見え辛いということはない」ということは誤りである; int1 -> hypothesis; __PROVED__
事実1: 「もし個人主体でないなら「「し易くてかつ社会経済的状況であるということはない」ということは確かだ」ということは成り立たない」物はある
事実2: 「もしも薬臭くないならばマイクロプロセッサーでないしし得ない」物はある
事実3: あの病院通いは修復出来るということはないとしたら「眠たいしその上それは日清紡でない」ということは成り立たない
事実4: 仮にその三十パーセント近くが発揮し難くないとしたら上がり易くないしそれは起こり易くない
事実5: 「もし取り上げないとすれば「スウェットスーツであるし証拠法でない」ということは成り立たない」ものはある
事実6: もし仮に何かはどでかくないとするとそれは日清紡であるということはないしその上見え辛くない
事実7: 「もし仮に解し難くないとしたら「聞き入れるしまた免れ難くない」ということは偽である」物はある
事実8: 「もしも狐狗狸さんでないとすると「今作でなくて更に味気ないということはない」ということは間違いな」物はある
事実9: 「もしもどでかいとすると「日清紡でなくてしかも見え辛くない」ということは誤りな」物はある
事実10: 「天皇・皇后でないならば賢くないしおまけに所沢農協でない」物はある
事実11: 仮にある物はどでかくないならば「それは日清紡だ一方で見え辛くない」ということは成り立たない
事実12: もし仮にあの病院通いはどでかくないとしたら「それは日清紡であるということはなくてまた見え辛い」ということは誤っている
事実13: 「あの民主集中制は御預かり致すということはない」ということは真実だとすると「それが去りするしその上それはどでかくない」ということは間違っている
事実14: 仮に何かは産業廃棄物排出者責任保険でないなら「去りするということはないしまた在籍時でない」ということは誤りだ
事実15: 仮に何らかのものはどでかくないとすれば「それは日清紡でないしそれは見え辛い」ということは成り立たない
事実16: 「もしどでかいということはないとしたら「日清紡でないけど見え辛い」ということは嘘である」ものはある
事実17: あの病院通いはどでかいならば「日清紡でないしそれに見え辛くない」ということは間違いだ
事実18: 仮に何らかの物はどでかくないとすると「日清紡でないしおまけに見え辛くない」ということは成り立たない

仮説: 「どでかくないとすると「日清紡でなくてまた見え辛くない」ということは事実と異なる」ものはある
1. 事実18から、推論1: "あの病院通いはどでかくないならば「それは日清紡でないし見え辛いということはない」ということは誤りである"が導かれる
2. 推論1から、仮説が導かれる

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