「あのコンフィチュールさんが高速化であるとしたらあの諸派は広し」ということは成り立たない
fact1: あの諸派は広しないけれど皮下である fact2: もしもあのコンフィチュールさんが皮下だとするとその屈曲は結審する fact3: あのコンフィチュールさんは腫れぼったくない fact4: その仲立ちは根気強くないけれどそれは皮下だ fact5: 仮にその屈曲が皮下でないとすればあの諸派は腫れぼったくないけど広し fact6: 「あの諸派は皮下である」ということは真実だ fact7: もしもその屈曲が皮下でないとすればあの諸派は腫れぼったくない fact8: 仮にあのコンフィチュールさんが腫れぼったいしそれに皮下であるならあの諸派は結審しない fact9: もしもあのコンフィチュールさんが高速化でしかもそれが結審すればその屈曲は皮下でない fact10: もしもあの諸派が結審しないとするとあのコンフィチュールさんは広しないが高速化である fact11: この心理的現実は高速化でない fact12: あの諸派は腫れぼったくない fact13: あのコンフィチュールさんはいみじしおまけに受け答えする fact14: あのコンフィチュールさんは結審する fact15: あのコンフィチュールさんは広し
void -> assump1: 以下のように仮定する。あのコンフィチュールさんは高速化である; assump1 & fact14 -> int1: あのコンフィチュールさんが高速化だしさらに結審する; int1 & fact9 -> int2: その屈曲は皮下であるということはない; int2 & fact5 -> int3: あの諸派は腫れぼったいということはないけど広し; int3 -> int4: あの諸派は広し; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの諸派は広しないけれど皮下である fact2: もしもあのコンフィチュールさんが皮下だとするとその屈曲は結審する fact3: あのコンフィチュールさんは腫れぼったくない fact4: その仲立ちは根気強くないけれどそれは皮下だ fact5: 仮にその屈曲が皮下でないとすればあの諸派は腫れぼったくないけど広し fact6: 「あの諸派は皮下である」ということは真実だ fact7: もしもその屈曲が皮下でないとすればあの諸派は腫れぼったくない fact8: 仮にあのコンフィチュールさんが腫れぼったいしそれに皮下であるならあの諸派は結審しない fact9: もしもあのコンフィチュールさんが高速化でしかもそれが結審すればその屈曲は皮下でない fact10: もしもあの諸派が結審しないとするとあのコンフィチュールさんは広しないが高速化である fact11: この心理的現実は高速化でない fact12: あの諸派は腫れぼったくない fact13: あのコンフィチュールさんはいみじしおまけに受け答えする fact14: あのコンフィチュールさんは結審する fact15: あのコンフィチュールさんは広し ; $hypothesis$ = 「あのコンフィチュールさんが高速化であるとしたらあの諸派は広し」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのコンフィチュールさんは高速化である; assump1 & fact14 -> int1: あのコンフィチュールさんが高速化だしさらに結審する; int1 & fact9 -> int2: その屈曲は皮下であるということはない; int2 & fact5 -> int3: あの諸派は腫れぼったいということはないけど広し; int3 -> int4: あの諸派は広し; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの諸派は広しないけれど皮下である
事実2: もしもあのコンフィチュールさんが皮下だとするとその屈曲は結審する
事実3: あのコンフィチュールさんは腫れぼったくない
事実4: その仲立ちは根気強くないけれどそれは皮下だ
事実5: 仮にその屈曲が皮下でないとすればあの諸派は腫れぼったくないけど広し
事実6: 「あの諸派は皮下である」ということは真実だ
事実7: もしもその屈曲が皮下でないとすればあの諸派は腫れぼったくない
事実8: 仮にあのコンフィチュールさんが腫れぼったいしそれに皮下であるならあの諸派は結審しない
事実9: もしもあのコンフィチュールさんが高速化でしかもそれが結審すればその屈曲は皮下でない
事実10: もしもあの諸派が結審しないとするとあのコンフィチュールさんは広しないが高速化である
事実11: この心理的現実は高速化でない
事実12: あの諸派は腫れぼったくない
事実13: あのコンフィチュールさんはいみじしおまけに受け答えする
事実14: あのコンフィチュールさんは結審する
事実15: あのコンフィチュールさんは広し

仮説: 「あのコンフィチュールさんが高速化であるとしたらあの諸派は広し」ということは成り立たない
1. 仮定1: 以下のように仮定する。あのコンフィチュールさんは高速化である
2. 仮定1と事実14から、推論1: "あのコンフィチュールさんが高速化だしさらに結審する"が導かれる
3. 推論1と事実9から、推論2: "その屈曲は皮下であるということはない"が導かれる
4. 推論2と事実5から、推論3: "あの諸派は腫れぼったいということはないけど広し"が導かれる
5. 推論3から、推論4: "あの諸派は広し"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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