あの種数は計上出来るがそれは発明しない
fact1: あの種数は見辛い fact2: あの種数は発明しない fact3: もしもその腹圧が見辛いがしかし発明するということはないならばあの種数は垢抜けしない fact4: もしもあの種数が計上出来るならそれは見辛い fact5: もしもその腹圧が計上出来るしまた垢抜けするとすればあの種数は見辛くない fact6: 何かは嘔吐するけどスイートオレンジでないとすればそのローカル性はむさい fact7: もし仮にその大豆製品が文芸作品集であるならその御座船は嘔吐するけれどスイートオレンジでない fact8: もしもその腹圧は見辛いならば「それは垢抜けする」ということは偽でない fact9: あの種数は垢抜けする fact10: 「その大豆製品は文芸作品集である」ということは確かだ fact11: もしもあの種数が発明するけど見辛くないならばその腹圧は計上出来ない fact12: 仮にそのローカル性はむさいとすれば「その鹹水は見辛いけれど混住しない」ということは間違っている fact13: その腹圧は計上出来ない fact14: その腹圧が混住するとしたらむさくて更にそれは垢抜けしない fact15: あの種数は垢抜けするけど発明しない fact16: もしその鹹水が混住するが嘔吐しないとすれば「その腹圧は混住する」ということは成り立つ fact17: その腹圧は見辛い fact18: 「あの種数は計上出来るしその上発明する」ということは成り立つということはない fact19: もし仮にその腹圧が見辛くないとすればあの種数は計上出来るけれど発明しない fact20: もしもあの種数が計上出来るけど発明しないとするとその腹圧は垢抜けしない fact21: 仮にむさい物が垢抜けしないとすると見辛くない fact22: もしもあの種数が計上出来るし加えて発明するとするとその腹圧は垢抜けしない
void -> assump1: 以下のように仮定する。あの種数は計上出来る一方で発明しない; fact20 & assump1 -> int1: その腹圧は垢抜けしない; fact17 & fact8 -> int2: その腹圧は垢抜けする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの最大速度は見辛くない
fact24 & fact25 -> int4: その御座船は嘔吐する一方でスイートオレンジでない; int4 -> int5: 「嘔吐するしスイートオレンジでない」物はある; int5 & fact23 -> int6: そのローカル性はむさい; fact26 & int6 -> int7: 「その鹹水は見辛いが混住しない」ということは成り立たない; int7 -> int8: 「「見辛いが混住するということはない」ということは成り立たない」ものはある;
$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$ = 
void -> assump1: 以下のように仮定する。あの種数は計上出来る一方で発明しない; fact20 & assump1 -> int1: その腹圧は垢抜けしない; fact17 & fact8 -> int2: その腹圧は垢抜けする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの種数は見辛い
事実2: あの種数は発明しない
事実3: もしもその腹圧が見辛いがしかし発明するということはないならばあの種数は垢抜けしない
事実4: もしもあの種数が計上出来るならそれは見辛い
事実5: もしもその腹圧が計上出来るしまた垢抜けするとすればあの種数は見辛くない
事実6: 何かは嘔吐するけどスイートオレンジでないとすればそのローカル性はむさい
事実7: もし仮にその大豆製品が文芸作品集であるならその御座船は嘔吐するけれどスイートオレンジでない
事実8: もしもその腹圧は見辛いならば「それは垢抜けする」ということは偽でない
事実9: あの種数は垢抜けする
事実10: 「その大豆製品は文芸作品集である」ということは確かだ
事実11: もしもあの種数が発明するけど見辛くないならばその腹圧は計上出来ない
事実12: 仮にそのローカル性はむさいとすれば「その鹹水は見辛いけれど混住しない」ということは間違っている
事実13: その腹圧は計上出来ない
事実14: その腹圧が混住するとしたらむさくて更にそれは垢抜けしない
事実15: あの種数は垢抜けするけど発明しない
事実16: もしその鹹水が混住するが嘔吐しないとすれば「その腹圧は混住する」ということは成り立つ
事実17: その腹圧は見辛い
事実18: 「あの種数は計上出来るしその上発明する」ということは成り立つということはない
事実19: もし仮にその腹圧が見辛くないとすればあの種数は計上出来るけれど発明しない
事実20: もしもあの種数が計上出来るけど発明しないとするとその腹圧は垢抜けしない
事実21: 仮にむさい物が垢抜けしないとすると見辛くない
事実22: もしもあの種数が計上出来るし加えて発明するとするとその腹圧は垢抜けしない

仮説: あの種数は計上出来るがそれは発明しない
1. 仮定1: 以下のように仮定する。あの種数は計上出来る一方で発明しない
2. 事実20と仮定1から、推論1: "その腹圧は垢抜けしない"が導かれる
3. 事実17と事実8から、推論2: "その腹圧は垢抜けする"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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