あの昼食は染み入るしさらに平等主義だ
fact1: この間道は平等主義である fact2: もし仮にあの昼食が入港出来ないなら内部統制システムでない fact3: もしあの昼食は理数科だということはないとすれば「そのウエペケレは見下げるし真っ暗い」ということは成り立たない fact4: この間道は染み入るということはないとすれば「それは相応しくて加えて見下げる」ということは誤りだ fact5: もし仮にこの間道が相応しいならばそのウエペケレは理数科である fact6: あの昼食は出世する fact7: 「この間道は相応しいがしかし平等主義でない」ということは成り立たない fact8: 仮に「とある物は見下げないし加えて平等主義でない」ということは成り立たないならば平等主義である fact9: もしも「「あの昼食は見下げない」ということは成り立たない」ということは成り立てばそのウエペケレは理数科でない fact10: あの昼食は入港出来ない fact11: 仮に「「この間道は見下げるということはない」ということは確かである」ということは成り立たないならばあの昼食は相応しい fact12: この間道は相応しい fact13: 「あの昼食は溶連菌だしさらに更新認定申請だ」ということは事実と異なる fact14: 「その穂波は乳臭い」ということは成り立つ fact15: もし仮にある物は乳臭いとすると「見下げないし平等主義でない」ということは偽だ fact16: 「とあるものは乳臭くない」ということは成り立つなら「染み入るし平等主義だ」ということは事実と異なる fact17: あの昼食が相応しいとするとこの間道は見下げない fact18: もし仮に「あの昼食は内部統制システムでない」ということは本当だとすれば理数科であるしそれは染み入る fact19: もしもとある物は見下げるということはないとしたら「乳臭いということはない」ということは成り立つ fact20: そのウエペケレは染み入らない fact21: あの可塑は見下げる
void -> assump1: 以下のように仮定する。あの昼食は見下げる; fact9 & assump1 -> int1: そのウエペケレは理数科でない; fact5 & fact12 -> int2: そのウエペケレは理数科だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの昼食は見下げない; fact19 -> int5: あの昼食が見下げないとしたらそれは乳臭くない; int4 & int5 -> int6: あの昼食は乳臭くない; fact16 -> int7: あの昼食は乳臭くないとすれば「それは染み入るしかつ平等主義だ」ということは正しくない; int6 & int7 -> hypothesis;
「そのウエペケレは見下げるしかつ真っ暗い」ということは成り立たない
fact22 -> int8: 「「相応しくておまけに平等主義でない」ということは成り立つということはない」物はある;
$facts$ = fact1: この間道は平等主義である fact2: もし仮にあの昼食が入港出来ないなら内部統制システムでない fact3: もしあの昼食は理数科だということはないとすれば「そのウエペケレは見下げるし真っ暗い」ということは成り立たない fact4: この間道は染み入るということはないとすれば「それは相応しくて加えて見下げる」ということは誤りだ fact5: もし仮にこの間道が相応しいならばそのウエペケレは理数科である fact6: あの昼食は出世する fact7: 「この間道は相応しいがしかし平等主義でない」ということは成り立たない fact8: 仮に「とある物は見下げないし加えて平等主義でない」ということは成り立たないならば平等主義である fact9: もしも「「あの昼食は見下げない」ということは成り立たない」ということは成り立てばそのウエペケレは理数科でない fact10: あの昼食は入港出来ない fact11: 仮に「「この間道は見下げるということはない」ということは確かである」ということは成り立たないならばあの昼食は相応しい fact12: この間道は相応しい fact13: 「あの昼食は溶連菌だしさらに更新認定申請だ」ということは事実と異なる fact14: 「その穂波は乳臭い」ということは成り立つ fact15: もし仮にある物は乳臭いとすると「見下げないし平等主義でない」ということは偽だ fact16: 「とあるものは乳臭くない」ということは成り立つなら「染み入るし平等主義だ」ということは事実と異なる fact17: あの昼食が相応しいとするとこの間道は見下げない fact18: もし仮に「あの昼食は内部統制システムでない」ということは本当だとすれば理数科であるしそれは染み入る fact19: もしもとある物は見下げるということはないとしたら「乳臭いということはない」ということは成り立つ fact20: そのウエペケレは染み入らない fact21: あの可塑は見下げる ; $hypothesis$ = あの昼食は染み入るしさらに平等主義だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの昼食は見下げる; fact9 & assump1 -> int1: そのウエペケレは理数科でない; fact5 & fact12 -> int2: そのウエペケレは理数科だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの昼食は見下げない; fact19 -> int5: あの昼食が見下げないとしたらそれは乳臭くない; int4 & int5 -> int6: あの昼食は乳臭くない; fact16 -> int7: あの昼食は乳臭くないとすれば「それは染み入るしかつ平等主義だ」ということは正しくない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: この間道は平等主義である
事実2: もし仮にあの昼食が入港出来ないなら内部統制システムでない
事実3: もしあの昼食は理数科だということはないとすれば「そのウエペケレは見下げるし真っ暗い」ということは成り立たない
事実4: この間道は染み入るということはないとすれば「それは相応しくて加えて見下げる」ということは誤りだ
事実5: もし仮にこの間道が相応しいならばそのウエペケレは理数科である
事実6: あの昼食は出世する
事実7: 「この間道は相応しいがしかし平等主義でない」ということは成り立たない
事実8: 仮に「とある物は見下げないし加えて平等主義でない」ということは成り立たないならば平等主義である
事実9: もしも「「あの昼食は見下げない」ということは成り立たない」ということは成り立てばそのウエペケレは理数科でない
事実10: あの昼食は入港出来ない
事実11: 仮に「「この間道は見下げるということはない」ということは確かである」ということは成り立たないならばあの昼食は相応しい
事実12: この間道は相応しい
事実13: 「あの昼食は溶連菌だしさらに更新認定申請だ」ということは事実と異なる
事実14: 「その穂波は乳臭い」ということは成り立つ
事実15: もし仮にある物は乳臭いとすると「見下げないし平等主義でない」ということは偽だ
事実16: 「とあるものは乳臭くない」ということは成り立つなら「染み入るし平等主義だ」ということは事実と異なる
事実17: あの昼食が相応しいとするとこの間道は見下げない
事実18: もし仮に「あの昼食は内部統制システムでない」ということは本当だとすれば理数科であるしそれは染み入る
事実19: もしもとある物は見下げるということはないとしたら「乳臭いということはない」ということは成り立つ
事実20: そのウエペケレは染み入らない
事実21: あの可塑は見下げる

仮説: あの昼食は染み入るしさらに平等主義だ
1. 仮定1: 以下のように仮定する。あの昼食は見下げる
2. 事実9と仮定1から、推論1: "そのウエペケレは理数科でない"が導かれる
3. 事実5と事実12から、推論2: "そのウエペケレは理数科だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの昼食は見下げない"が導かれる
6. 事実19から、推論5: "あの昼食が見下げないとしたらそれは乳臭くない"が導かれる
7. 推論4と推論5から、推論6: "あの昼食は乳臭くない"が導かれる
8. 事実16から、推論7: "あの昼食は乳臭くないとすれば「それは染み入るしかつ平等主義だ」ということは正しくない"が導かれる
9. 推論6と推論7から、仮説が否定される

よって、仮説が否定されました。