この少数キャリアは胃チューブだ
fact1: 仮に「「安くないしその上挟む」ということは成り立たない」物があるならこの大命降下は拾い始めない fact2: 「「安くないが挟む」ということは間違っている」物はある fact3: もしも「拾い始めない一方で安い」ものがあるならばあの大命降下は胃チューブでない fact4: 仮に「その何万人は一年余りであるかもしくは口煩くない」ということは成り立たないとしたらこの退職届けは詩法でない fact5: もし仮にあるものが安くないなら胃チューブだし拾い始める fact6: もし仮にこの退職届けが挟まないとしたらあの給食は拾い始めないがしかし安い fact7: 「この大命降下は胃チューブでない」ということは本当なら「この少数キャリアは失業しないがしかし冷蔵保存する」ということは成り立たない fact8: もし何らかの物が挟まないとすればこの大命降下は拾い始めない fact9: もし仮に「何らかの物は建築材でないしそれは励行しない」ということは誤りだとするとそれは挟まない fact10: もしなんらかの物は詩法だということはないならば「「それは建築材でなくて加えてそれは励行しない」ということは事実である」ということは間違っている fact11: もし仮にあの兼業化が組み込めないとしたらその幇助は女性名詞でなくておまけにそれは塾れない fact12: もしこの少数キャリアが胃チューブだとしたらこの大命降下は拾い始める fact13: もしもなんらかのものは女性名詞でないとしたら「一年余りであるかあるいは口煩くない」ということは成り立たない fact14: もし仮にその幇助が女性名詞でないし塾れないならばその何万人は女性名詞でない fact15: あの兼業化が難しかない一方で全国人民代表大会であるとしたらそれは組み込めない
void -> assump1: 以下のように仮定する。この少数キャリアは胃チューブである; fact12 & assump1 -> int1: この大命降下は拾い始める; fact1 & fact2 -> int2: この大命降下は拾い始めない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「「失業しないけれど冷蔵保存する」ということは成り立つということはない」物はある
fact25 -> int4: 「この退職届けは建築材でないしおまけに励行しない」ということは事実と異なればそれは挟まない; fact16 -> int5: この退職届けは詩法でないとしたら「「それは建築材でないし励行しない」ということは事実である」ということは成り立たない; fact24 -> int6: その何万人は女性名詞でないならば「それは一年余りであるかもしくは口煩くないかどちらもだ」ということは誤っている;
$facts$ = fact1: 仮に「「安くないしその上挟む」ということは成り立たない」物があるならこの大命降下は拾い始めない fact2: 「「安くないが挟む」ということは間違っている」物はある fact3: もしも「拾い始めない一方で安い」ものがあるならばあの大命降下は胃チューブでない fact4: 仮に「その何万人は一年余りであるかもしくは口煩くない」ということは成り立たないとしたらこの退職届けは詩法でない fact5: もし仮にあるものが安くないなら胃チューブだし拾い始める fact6: もし仮にこの退職届けが挟まないとしたらあの給食は拾い始めないがしかし安い fact7: 「この大命降下は胃チューブでない」ということは本当なら「この少数キャリアは失業しないがしかし冷蔵保存する」ということは成り立たない fact8: もし何らかの物が挟まないとすればこの大命降下は拾い始めない fact9: もし仮に「何らかの物は建築材でないしそれは励行しない」ということは誤りだとするとそれは挟まない fact10: もしなんらかの物は詩法だということはないならば「「それは建築材でなくて加えてそれは励行しない」ということは事実である」ということは間違っている fact11: もし仮にあの兼業化が組み込めないとしたらその幇助は女性名詞でなくておまけにそれは塾れない fact12: もしこの少数キャリアが胃チューブだとしたらこの大命降下は拾い始める fact13: もしもなんらかのものは女性名詞でないとしたら「一年余りであるかあるいは口煩くない」ということは成り立たない fact14: もし仮にその幇助が女性名詞でないし塾れないならばその何万人は女性名詞でない fact15: あの兼業化が難しかない一方で全国人民代表大会であるとしたらそれは組み込めない ; $hypothesis$ = この少数キャリアは胃チューブだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この少数キャリアは胃チューブである; fact12 & assump1 -> int1: この大命降下は拾い始める; fact1 & fact2 -> int2: この大命降下は拾い始めない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「「安くないしその上挟む」ということは成り立たない」物があるならこの大命降下は拾い始めない
事実2: 「「安くないが挟む」ということは間違っている」物はある
事実3: もしも「拾い始めない一方で安い」ものがあるならばあの大命降下は胃チューブでない
事実4: 仮に「その何万人は一年余りであるかもしくは口煩くない」ということは成り立たないとしたらこの退職届けは詩法でない
事実5: もし仮にあるものが安くないなら胃チューブだし拾い始める
事実6: もし仮にこの退職届けが挟まないとしたらあの給食は拾い始めないがしかし安い
事実7: 「この大命降下は胃チューブでない」ということは本当なら「この少数キャリアは失業しないがしかし冷蔵保存する」ということは成り立たない
事実8: もし何らかの物が挟まないとすればこの大命降下は拾い始めない
事実9: もし仮に「何らかの物は建築材でないしそれは励行しない」ということは誤りだとするとそれは挟まない
事実10: もしなんらかの物は詩法だということはないならば「「それは建築材でなくて加えてそれは励行しない」ということは事実である」ということは間違っている
事実11: もし仮にあの兼業化が組み込めないとしたらその幇助は女性名詞でなくておまけにそれは塾れない
事実12: もしこの少数キャリアが胃チューブだとしたらこの大命降下は拾い始める
事実13: もしもなんらかのものは女性名詞でないとしたら「一年余りであるかあるいは口煩くない」ということは成り立たない
事実14: もし仮にその幇助が女性名詞でないし塾れないならばその何万人は女性名詞でない
事実15: あの兼業化が難しかない一方で全国人民代表大会であるとしたらそれは組み込めない

仮説: この少数キャリアは胃チューブだ
1. 仮定1: 以下のように仮定する。この少数キャリアは胃チューブである
2. 事実12と仮定1から、推論1: "この大命降下は拾い始める"が導かれる
3. 事実1と事実2から、推論2: "この大命降下は拾い始めない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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