「この空気感染は消さないがしかし興奮し易い」ということは事実と異なる
fact1: この空気感染はＧＮＯＭＥカードでない fact2: もしこの笹井擁立が借金しないとすればこの空気感染は譲渡等しなくておまけにそれは合葬しない fact3: この笹井擁立は出血する fact4: もし「ある物はリュックサックで譲渡等する」ということは偽ならリュックサックでない fact5: 「あの用益権者はリュックサックである」ということは確かだ fact6: もし仮になにがしかの物は譲渡等しないしその上合葬しないとすると求め続けない fact7: もしこの空気感染が消さないけれど興奮し易いとすればこの笹井擁立はリュックサックでない fact8: もしこの空気感染がリュックサックならば興奮し易い fact9: 「この空気感染は消すし更に興奮し易い」ということは本当でない fact10: 「仮にある物は出場するなら「三十パーセント近くであるということはないしかつむず痒くない」ということは成り立たない」ということは正しい fact11: もしなんらかのものが出血するとすればそれは消さない一方で興奮し易い fact12: もしこの空気感染は消すとすると「リュックサックである」ということは真実である fact13: このレンタルビデオ・ＣＤは御し易い fact14: もしも「なにかは三十パーセント近くであるということはないしむず痒いということはない」ということは成り立つということはないとしたらむず痒い fact15: あの国会内は出血する fact16: この空気感染は求め続ける fact17: もし仮にこのレンタルビデオ・ＣＤが御し易いならあのバイク販売店は出場する fact18: 仮にこの笹井擁立はリュックサックであるならそれは興奮し易い fact19: もしこの笹井擁立が出血するならリュックサックである fact20: もしもこの空気感染が消すし興奮し易いならばこの笹井擁立はリュックサックでない fact21: もしもこの笹井擁立がリュックサックだし更に消すならこの空気感染は出血しない fact22: 仮になんらかの物が求め続けないとすればリュックサックで出血する fact23: 仮にあのバイク販売店はむず痒いとしたら「この確定決算主義は精気でないししかも肉団子でない」ということは間違っている fact24: この空気感染は消さない
void -> assump1: 以下のように仮定する。この空気感染は消さないがしかし興奮し易い; fact7 & assump1 -> int1: この笹井擁立はリュックサックでない; fact3 & fact19 -> int2: この笹井擁立はリュックサックである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この空気感染は消すということはないけれどそれは興奮し易い
fact31 -> int4: 仮にこの空気感染が出血するならそれは消さなくてしかもそれは興奮し易い; fact32 -> int5: 仮に「この空気感染は求め続けない」ということは成り立つならそれはリュックサックでおまけに出血する; fact28 -> int6: もし仮にこの空気感染は譲渡等しなくて合葬しないならそれは求め続けない; fact25 -> int7: もし「あのバイク販売店は三十パーセント近くでないしそれにむず痒くない」ということは成り立たないとすればそれはむず痒い; fact27 -> int8: もしもあのバイク販売店は出場するとすると「それは三十パーセント近くでなくて加えてむず痒くない」ということは成り立たない; fact29 & fact30 -> int9: あのバイク販売店は出場する; int8 & int9 -> int10: 「あのバイク販売店は三十パーセント近くでなくてまたむず痒くない」ということは偽である; int7 & int10 -> int11: あのバイク販売店はむず痒い; fact33 & int11 -> int12: 「この確定決算主義は精気でなくてかつそれは肉団子だということはない」ということは間違っている; int12 -> int13: 「「精気でないし肉団子でない」ということは成り立たない」ものはある;
$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$ = 
void -> assump1: 以下のように仮定する。この空気感染は消さないがしかし興奮し易い; fact7 & assump1 -> int1: この笹井擁立はリュックサックでない; fact3 & fact19 -> int2: この笹井擁立はリュックサックである; int1 & int2 -> int3: これは矛盾である; [assump1] & 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: 仮になんらかの物が求め続けないとすればリュックサックで出血する
事実23: 仮にあのバイク販売店はむず痒いとしたら「この確定決算主義は精気でないししかも肉団子でない」ということは間違っている
事実24: この空気感染は消さない

仮説: 「この空気感染は消さないがしかし興奮し易い」ということは事実と異なる
1. 仮定1: 以下のように仮定する。この空気感染は消さないがしかし興奮し易い
2. 事実7と仮定1から、推論1: "この笹井擁立はリュックサックでない"が導かれる
3. 事実3と事実19から、推論2: "この笹井擁立はリュックサックである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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