あの量感は御美しくない
fact1: 仮になにかは黄色いということはないとすればそれは御美しくない fact2: 仮にある物は地方委員会でないとすると「余所余所しいということはないけれど黄色い」ということは誤りだ fact3: もしもなにかは闘争するとするとそれは地方委員会でそれは余所余所しかない fact4: もし仮に「とある物は闘争するしそれは掴み難い」ということは偽であるとすれば「地方委員会でない」ということは間違いでない fact5: 全てのものは御美しい fact6: もし「あの満席状態は滑り難くて骨吸収である」ということは誤りだとすれば滑り難くない fact7: 何もかもは闘争する fact8: どれもこれもは寝過ごす fact9: もし「あの広角は余所余所しかないけれど黄色い」ということは成り立たないとすればあの量感は黄色くない fact10: 全ての物は頼もしい fact11: もしもあの満席状態は滑り難いということはないならば「あの広角は闘争するしそれに掴み難い」ということは成り立つということはない
fact5 -> hypothesis;
fact5 -> hypothesis;
あの逆浸透膜は御美しい
fact12 -> int1: 仮にあの広角が闘争するとすればそれは地方委員会だが余所余所しかない; fact13 -> int2: あの広角は闘争する; int1 & int2 -> int3: 「あの広角が地方委員会だけど余所余所しかない」ということは本当だ; int3 -> int4: どれもこれもは地方委員会だしさらに余所余所しかない; int4 -> int5: あの逆浸透膜は地方委員会であるが余所余所しかない; int5 -> int6: あの逆浸透膜は余所余所しかない;
$facts$ = fact1: 仮になにかは黄色いということはないとすればそれは御美しくない fact2: 仮にある物は地方委員会でないとすると「余所余所しいということはないけれど黄色い」ということは誤りだ fact3: もしもなにかは闘争するとするとそれは地方委員会でそれは余所余所しかない fact4: もし仮に「とある物は闘争するしそれは掴み難い」ということは偽であるとすれば「地方委員会でない」ということは間違いでない fact5: 全てのものは御美しい fact6: もし「あの満席状態は滑り難くて骨吸収である」ということは誤りだとすれば滑り難くない fact7: 何もかもは闘争する fact8: どれもこれもは寝過ごす fact9: もし「あの広角は余所余所しかないけれど黄色い」ということは成り立たないとすればあの量感は黄色くない fact10: 全ての物は頼もしい fact11: もしもあの満席状態は滑り難いということはないならば「あの広角は闘争するしそれに掴み難い」ということは成り立つということはない ; $hypothesis$ = あの量感は御美しくない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 仮になにかは黄色いということはないとすればそれは御美しくない
事実2: 仮にある物は地方委員会でないとすると「余所余所しいということはないけれど黄色い」ということは誤りだ
事実3: もしもなにかは闘争するとするとそれは地方委員会でそれは余所余所しかない
事実4: もし仮に「とある物は闘争するしそれは掴み難い」ということは偽であるとすれば「地方委員会でない」ということは間違いでない
事実5: 全てのものは御美しい
事実6: もし「あの満席状態は滑り難くて骨吸収である」ということは誤りだとすれば滑り難くない
事実7: 何もかもは闘争する
事実8: どれもこれもは寝過ごす
事実9: もし「あの広角は余所余所しかないけれど黄色い」ということは成り立たないとすればあの量感は黄色くない
事実10: 全ての物は頼もしい
事実11: もしもあの満席状態は滑り難いということはないならば「あの広角は闘争するしそれに掴み難い」ということは成り立つということはない

仮説: あの量感は御美しくない
1. 事実5から、仮説が否定される

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