その橘はもちもちしない
fact1: もしあるものが打ち明けるしそれが合い難いならそれはもちもちしない fact2: 仮にその橘が金銭価値だけどそれは財務諸表でないなら拭い難い fact3: 「あの手術適応は歪みエネルギでないけど財務諸表である」ということは本当でないならばそれは財務諸表だということはない fact4: もしもなにがしかの物がログメッセージだとすればそれは奉書である fact5: あの手術適応は金銭価値だがしかし拭い難くない fact6: もし歪みエネルギは財務諸表でないとすれば「それは奉書である」ということは成り立つ fact7: もしもこの人口密集地が打ち明けるとするとその橘は合い難くない fact8: その橘が合い難いとしたらこの人口密集地は奉書でない fact9: あるものは金銭価値であるとしたらそれは二敗である fact10: 田舎っぽくない物は利用し易い fact11: 合い難いということはないものは歪みエネルギであるけれど財務諸表でない fact12: もし仮にとあるものが奉書ならそれはもちもちする fact13: 仮にとあるものは奉書であるならば「それは歪みエネルギであるということはないしそれは財務諸表だ」ということは誤りだ fact14: もし仮にあの手術適応が金銭価値であるがしかし拭い難くないならばこの人口密集地は打ち明ける
fact14 & fact5 -> int1: この人口密集地は打ち明ける; int1 & fact7 -> int2: その橘は合い難くない; fact11 -> int3: もしもその橘が合い難いということはないなら歪みエネルギであるし財務諸表でない; int2 & int3 -> int4: その橘は歪みエネルギであるが財務諸表でない; fact6 -> int5: もしもその橘が歪みエネルギであるけど財務諸表でないとするとそれは奉書だ; int4 & int5 -> int6: その橘は奉書だ; fact12 -> int7: もしその橘は奉書だとすれば「もちもちする」ということは事実だ; int6 & int7 -> hypothesis;
その橘はもちもちしない
fact18 -> int8: もしもその橘が打ち明けるしそれが合い難いとすればもちもちしない; fact17 -> int9: もし仮にあの手術適応は奉書であるとしたら「それは歪みエネルギでないけど財務諸表だ」ということは誤りである; fact15 -> int10: もしもあの手術適応はログメッセージであるとしたらそれは奉書だ;
$facts$ = fact1: もしあるものが打ち明けるしそれが合い難いならそれはもちもちしない fact2: 仮にその橘が金銭価値だけどそれは財務諸表でないなら拭い難い fact3: 「あの手術適応は歪みエネルギでないけど財務諸表である」ということは本当でないならばそれは財務諸表だということはない fact4: もしもなにがしかの物がログメッセージだとすればそれは奉書である fact5: あの手術適応は金銭価値だがしかし拭い難くない fact6: もし歪みエネルギは財務諸表でないとすれば「それは奉書である」ということは成り立つ fact7: もしもこの人口密集地が打ち明けるとするとその橘は合い難くない fact8: その橘が合い難いとしたらこの人口密集地は奉書でない fact9: あるものは金銭価値であるとしたらそれは二敗である fact10: 田舎っぽくない物は利用し易い fact11: 合い難いということはないものは歪みエネルギであるけれど財務諸表でない fact12: もし仮にとあるものが奉書ならそれはもちもちする fact13: 仮にとあるものは奉書であるならば「それは歪みエネルギであるということはないしそれは財務諸表だ」ということは誤りだ fact14: もし仮にあの手術適応が金銭価値であるがしかし拭い難くないならばこの人口密集地は打ち明ける ; $hypothesis$ = その橘はもちもちしない ; $proof$ = 
fact14 & fact5 -> int1: この人口密集地は打ち明ける; int1 & fact7 -> int2: その橘は合い難くない; fact11 -> int3: もしもその橘が合い難いということはないなら歪みエネルギであるし財務諸表でない; int2 & int3 -> int4: その橘は歪みエネルギであるが財務諸表でない; fact6 -> int5: もしもその橘が歪みエネルギであるけど財務諸表でないとするとそれは奉書だ; int4 & int5 -> int6: その橘は奉書だ; fact12 -> int7: もしその橘は奉書だとすれば「もちもちする」ということは事実だ; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしあるものが打ち明けるしそれが合い難いならそれはもちもちしない
事実2: 仮にその橘が金銭価値だけどそれは財務諸表でないなら拭い難い
事実3: 「あの手術適応は歪みエネルギでないけど財務諸表である」ということは本当でないならばそれは財務諸表だということはない
事実4: もしもなにがしかの物がログメッセージだとすればそれは奉書である
事実5: あの手術適応は金銭価値だがしかし拭い難くない
事実6: もし歪みエネルギは財務諸表でないとすれば「それは奉書である」ということは成り立つ
事実7: もしもこの人口密集地が打ち明けるとするとその橘は合い難くない
事実8: その橘が合い難いとしたらこの人口密集地は奉書でない
事実9: あるものは金銭価値であるとしたらそれは二敗である
事実10: 田舎っぽくない物は利用し易い
事実11: 合い難いということはないものは歪みエネルギであるけれど財務諸表でない
事実12: もし仮にとあるものが奉書ならそれはもちもちする
事実13: 仮にとあるものは奉書であるならば「それは歪みエネルギであるということはないしそれは財務諸表だ」ということは誤りだ
事実14: もし仮にあの手術適応が金銭価値であるがしかし拭い難くないならばこの人口密集地は打ち明ける

仮説: その橘はもちもちしない
1. 事実14と事実5から、推論1: "この人口密集地は打ち明ける"が導かれる
2. 推論1と事実7から、推論2: "その橘は合い難くない"が導かれる
3. 事実11から、推論3: "もしもその橘が合い難いということはないなら歪みエネルギであるし財務諸表でない"が導かれる
4. 推論2と推論3から、推論4: "その橘は歪みエネルギであるが財務諸表でない"が導かれる
5. 事実6から、推論5: "もしもその橘が歪みエネルギであるけど財務諸表でないとするとそれは奉書だ"が導かれる
6. 推論4と推論5から、推論6: "その橘は奉書だ"が導かれる
7. 事実12から、推論7: "もしその橘は奉書だとすれば「もちもちする」ということは事実だ"が導かれる
8. 推論6と推論7から、仮説が否定される

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