その切り上げは喝破しない
fact1: その切り上げは人毎でない fact2: その切り上げは御座でない fact3: もし何らかのものが八Ｔ細胞でないけどそれが飛行機らしいならばその切り上げは気付き難くない fact4: その切り上げは底深い fact5: その切り上げは飛行機らしい fact6: もしもある物が共有者だということはないかまたはそれがごっつかないとすればそれはさり気無い fact7: その切り上げは胚芽米だということはない fact8: もしもなにかはリースリングでないかまたは祈りだということはないかどちらもであるなら夥しい fact9: なにかは八Ｔ細胞であるということはないが飛行機らしい fact10: あのログファイルは歩き辛くないかもしくはそれは八Ｔ細胞でないかあるいは両方である fact11: 他愛無くないものは思い見ないかもしくは収蔵しないかまたはどちらもだ fact12: もし仮にこの血税が飛行機らしいしそれが八Ｔ細胞であるとすればその差し物師は八Ｔ細胞でない fact13: もし仮にその切り上げが恩師でないならばそれは専門でないかもしくは其処以外でないかまたは両方ともである fact14: もし仮にあのコミュニストが気付き難いが喝破しないとするとその切り上げは喝破しない fact15: もしとあるものが恩師でないかそれは粉っぽくないかどちらもだとすればそれは気付き難い fact16: もしも何かは誘拐犯でないとしたら「上訴するということはないかまたはアナログ回路でないかあるいは両方ともである」ということは成り立つ fact17: 仮になにがしかのものがリクエストするということはないならばそれは飛行機らしいし加えて八Ｔ細胞である fact18: 「南メソジスト監督教会でない」物はある fact19: もしその切り上げが八Ｔ細胞でないとすればそれはこっ酷いか余力でない fact20: なんらかの物が喝破しないならばそれは恩師でないかまたは粉っぽくないかまたは両方ともである fact21: 御構い無くないものは興奮度だ
fact20 -> int1: その切り上げが喝破しないとすればそれは恩師でないかもしくは粉っぽくない; void -> assump1: 以下のように仮定する。その切り上げは喝破しない; int1 & assump1 -> int2: その切り上げは恩師でないかまたはそれは粉っぽくない; fact15 -> int3: 仮にその切り上げは恩師でないかもしくは粉っぽくないか両方ともであるならば気付き難い; int2 & int3 -> int4: その切り上げは気付き難い; fact9 & fact3 -> int5: その切り上げは気付き難くない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その切り上げは喝破しない
fact24 -> int7: もし仮にこの血税がリクエストするということはないとすればそれは飛行機らしい八Ｔ細胞だ;
$facts$ = fact1: その切り上げは人毎でない fact2: その切り上げは御座でない fact3: もし何らかのものが八Ｔ細胞でないけどそれが飛行機らしいならばその切り上げは気付き難くない fact4: その切り上げは底深い fact5: その切り上げは飛行機らしい fact6: もしもある物が共有者だということはないかまたはそれがごっつかないとすればそれはさり気無い fact7: その切り上げは胚芽米だということはない fact8: もしもなにかはリースリングでないかまたは祈りだということはないかどちらもであるなら夥しい fact9: なにかは八Ｔ細胞であるということはないが飛行機らしい fact10: あのログファイルは歩き辛くないかもしくはそれは八Ｔ細胞でないかあるいは両方である fact11: 他愛無くないものは思い見ないかもしくは収蔵しないかまたはどちらもだ fact12: もし仮にこの血税が飛行機らしいしそれが八Ｔ細胞であるとすればその差し物師は八Ｔ細胞でない fact13: もし仮にその切り上げが恩師でないならばそれは専門でないかもしくは其処以外でないかまたは両方ともである fact14: もし仮にあのコミュニストが気付き難いが喝破しないとするとその切り上げは喝破しない fact15: もしとあるものが恩師でないかそれは粉っぽくないかどちらもだとすればそれは気付き難い fact16: もしも何かは誘拐犯でないとしたら「上訴するということはないかまたはアナログ回路でないかあるいは両方ともである」ということは成り立つ fact17: 仮になにがしかのものがリクエストするということはないならばそれは飛行機らしいし加えて八Ｔ細胞である fact18: 「南メソジスト監督教会でない」物はある fact19: もしその切り上げが八Ｔ細胞でないとすればそれはこっ酷いか余力でない fact20: なんらかの物が喝破しないならばそれは恩師でないかまたは粉っぽくないかまたは両方ともである fact21: 御構い無くないものは興奮度だ ; $hypothesis$ = その切り上げは喝破しない ; $proof$ = 
fact20 -> int1: その切り上げが喝破しないとすればそれは恩師でないかもしくは粉っぽくない; void -> assump1: 以下のように仮定する。その切り上げは喝破しない; int1 & assump1 -> int2: その切り上げは恩師でないかまたはそれは粉っぽくない; fact15 -> int3: 仮にその切り上げは恩師でないかもしくは粉っぽくないか両方ともであるならば気付き難い; int2 & int3 -> int4: その切り上げは気付き難い; fact9 & fact3 -> int5: その切り上げは気付き難くない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: その切り上げは人毎でない
事実2: その切り上げは御座でない
事実3: もし何らかのものが八Ｔ細胞でないけどそれが飛行機らしいならばその切り上げは気付き難くない
事実4: その切り上げは底深い
事実5: その切り上げは飛行機らしい
事実6: もしもある物が共有者だということはないかまたはそれがごっつかないとすればそれはさり気無い
事実7: その切り上げは胚芽米だということはない
事実8: もしもなにかはリースリングでないかまたは祈りだということはないかどちらもであるなら夥しい
事実9: なにかは八Ｔ細胞であるということはないが飛行機らしい
事実10: あのログファイルは歩き辛くないかもしくはそれは八Ｔ細胞でないかあるいは両方である
事実11: 他愛無くないものは思い見ないかもしくは収蔵しないかまたはどちらもだ
事実12: もし仮にこの血税が飛行機らしいしそれが八Ｔ細胞であるとすればその差し物師は八Ｔ細胞でない
事実13: もし仮にその切り上げが恩師でないならばそれは専門でないかもしくは其処以外でないかまたは両方ともである
事実14: もし仮にあのコミュニストが気付き難いが喝破しないとするとその切り上げは喝破しない
事実15: もしとあるものが恩師でないかそれは粉っぽくないかどちらもだとすればそれは気付き難い
事実16: もしも何かは誘拐犯でないとしたら「上訴するということはないかまたはアナログ回路でないかあるいは両方ともである」ということは成り立つ
事実17: 仮になにがしかのものがリクエストするということはないならばそれは飛行機らしいし加えて八Ｔ細胞である
事実18: 「南メソジスト監督教会でない」物はある
事実19: もしその切り上げが八Ｔ細胞でないとすればそれはこっ酷いか余力でない
事実20: なんらかの物が喝破しないならばそれは恩師でないかまたは粉っぽくないかまたは両方ともである
事実21: 御構い無くないものは興奮度だ

仮説: その切り上げは喝破しない
1. 事実20から、推論1: "その切り上げが喝破しないとすればそれは恩師でないかもしくは粉っぽくない"が導かれる
2. 仮定1: 以下のように仮定する。その切り上げは喝破しない
3. 推論1と仮定1から、推論2: "その切り上げは恩師でないかまたはそれは粉っぽくない"が導かれる
4. 事実15から、推論3: "仮にその切り上げは恩師でないかもしくは粉っぽくないか両方ともであるならば気付き難い"が導かれる
5. 推論2と推論3から、推論4: "その切り上げは気付き難い"が導かれる
6. 事実9と事実3から、推論5: "その切り上げは気付き難くない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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