あの加担は性分らしくない
fact1: もし仮に「あの加担は水加減でなくて性分らしくない」ということは成り立つということはないならば「この総統選挙は水加減だということはない」ということは本当である fact2: あの脊髄が水加減であるけど煩わせないならばあの加担は水加減だ fact3: 仮にあの加担は道路上であるとしたらむくつけしが向かわさない fact4: その拡張辞は若者らしい fact5: あの加担は若者らしいしまた水加減だ fact6: あの脊髄は道路上であるしそれは食餌性脂肪肝である fact7: あの脊髄は水加減だ fact8: もしあるものは向かわさないならば「それは水加減でなくてその上性分らしいない」ということは誤りである fact9: もし仮にあの加担が若者らしいなら性分らしい fact10: もしあの脊髄が道路上だとすればあの加担は道路上である fact11: もし仮にとあるものは水加減でないとしたら若者らしい fact12: なにがしかのものが急はない
fact5 -> int1: あの加担は若者らしい; int1 & fact9 -> hypothesis;
この総統選挙は若者らしいしそれにヤク杉である
fact17 -> int2: もしも「この総統選挙は水加減でない」ということは真実だとすれば若者らしい; fact15 -> int3: 仮にあの加担は向かわすということはないなら「それは水加減でなくてかつ性分らしくない」ということは確かでない; fact16 -> int4: あの脊髄は道路上だ; fact14 & int4 -> int5: あの加担は道路上だ; fact13 & int5 -> int6: あの加担はむくつけしけど向かわさない; int6 -> int7: あの加担は向かわさない; int3 & int7 -> int8: 「あの加担は水加減でなくて更に性分らしくない」ということは嘘だ; fact18 & int8 -> int9: 「この総統選挙は水加減でない」ということは正しい; int2 & int9 -> int10: この総統選挙は若者らしい;
$facts$ = fact1: もし仮に「あの加担は水加減でなくて性分らしくない」ということは成り立つということはないならば「この総統選挙は水加減だということはない」ということは本当である fact2: あの脊髄が水加減であるけど煩わせないならばあの加担は水加減だ fact3: 仮にあの加担は道路上であるとしたらむくつけしが向かわさない fact4: その拡張辞は若者らしい fact5: あの加担は若者らしいしまた水加減だ fact6: あの脊髄は道路上であるしそれは食餌性脂肪肝である fact7: あの脊髄は水加減だ fact8: もしあるものは向かわさないならば「それは水加減でなくてその上性分らしいない」ということは誤りである fact9: もし仮にあの加担が若者らしいなら性分らしい fact10: もしあの脊髄が道路上だとすればあの加担は道路上である fact11: もし仮にとあるものは水加減でないとしたら若者らしい fact12: なにがしかのものが急はない ; $hypothesis$ = あの加担は性分らしくない ; $proof$ = 
fact5 -> int1: あの加担は若者らしい; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの加担は水加減でなくて性分らしくない」ということは成り立つということはないならば「この総統選挙は水加減だということはない」ということは本当である
事実2: あの脊髄が水加減であるけど煩わせないならばあの加担は水加減だ
事実3: 仮にあの加担は道路上であるとしたらむくつけしが向かわさない
事実4: その拡張辞は若者らしい
事実5: あの加担は若者らしいしまた水加減だ
事実6: あの脊髄は道路上であるしそれは食餌性脂肪肝である
事実7: あの脊髄は水加減だ
事実8: もしあるものは向かわさないならば「それは水加減でなくてその上性分らしいない」ということは誤りである
事実9: もし仮にあの加担が若者らしいなら性分らしい
事実10: もしあの脊髄が道路上だとすればあの加担は道路上である
事実11: もし仮にとあるものは水加減でないとしたら若者らしい
事実12: なにがしかのものが急はない

仮説: あの加担は性分らしくない
1. 事実5から、推論1: "あの加担は若者らしい"が導かれる
2. 推論1と事実9から、仮説が否定される

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