その両軍は薄れる
fact1: もしもその両軍は学閥でないとするとあのラーメン構造はし辛くない fact2: あのラーメン構造は近代市民法である fact3: 仮に「あるものは握りでないし農政であるということはない」ということは成り立たないとすると幼しない fact4: その両軍は幼し fact5: 仮にとあるものが幼しということはないが使い辛いならその両軍は薄れる fact6: とある物は近代市民法だということはないならば「それは薄れないがしかし学閥である」ということは偽だ fact7: もしその両軍が近代市民法だとすればあのラーメン構造はし辛いということはない fact8: 猛る一方で使い辛いということはないという物はない fact9: その両軍は幼ししおまけにし辛い fact10: あの惰性は学閥だ fact11: あのラーメン構造が近代市民法であるとするとその両軍は学閥である fact12: もし仮にある物が薄れるとすればそれは近代市民法であるかまたは学閥でないかあるいは両方ともである fact13: もし仮にその両軍が学閥であるしその上し辛いとすれば薄れるということはない fact14: もし「何かは猛るがそれは使い辛くない」ということは成り立つということはないとするとそれは使い辛い
fact11 & fact2 -> int1: その両軍は学閥である; fact9 -> int2: 「その両軍はし辛い」ということは誤りでない; int1 & int2 -> int3: その両軍は学閥であるし加えてし辛い; int3 & fact13 -> hypothesis;
fact11 & fact2 -> int1: {B}{b}; fact9 -> int2: {C}{b}; int1 & int2 -> int3: ({B}{b} & {C}{b}); int3 & fact13 -> hypothesis;
その両軍は薄れる
fact15 -> int4: もしも「「あのラーメン構造は近代市民法である」ということは間違っている」ということは真実であるとしたら「それは薄れない一方で学閥だ」ということは偽だ;
$facts$ = fact1: もしもその両軍は学閥でないとするとあのラーメン構造はし辛くない fact2: あのラーメン構造は近代市民法である fact3: 仮に「あるものは握りでないし農政であるということはない」ということは成り立たないとすると幼しない fact4: その両軍は幼し fact5: 仮にとあるものが幼しということはないが使い辛いならその両軍は薄れる fact6: とある物は近代市民法だということはないならば「それは薄れないがしかし学閥である」ということは偽だ fact7: もしその両軍が近代市民法だとすればあのラーメン構造はし辛いということはない fact8: 猛る一方で使い辛いということはないという物はない fact9: その両軍は幼ししおまけにし辛い fact10: あの惰性は学閥だ fact11: あのラーメン構造が近代市民法であるとするとその両軍は学閥である fact12: もし仮にある物が薄れるとすればそれは近代市民法であるかまたは学閥でないかあるいは両方ともである fact13: もし仮にその両軍が学閥であるしその上し辛いとすれば薄れるということはない fact14: もし「何かは猛るがそれは使い辛くない」ということは成り立つということはないとするとそれは使い辛い ; $hypothesis$ = その両軍は薄れる ; $proof$ = 
fact11 & fact2 -> int1: その両軍は学閥である; fact9 -> int2: 「その両軍はし辛い」ということは誤りでない; int1 & int2 -> int3: その両軍は学閥であるし加えてし辛い; int3 & fact13 -> hypothesis; __DISPROVED__
事実1: もしもその両軍は学閥でないとするとあのラーメン構造はし辛くない
事実2: あのラーメン構造は近代市民法である
事実3: 仮に「あるものは握りでないし農政であるということはない」ということは成り立たないとすると幼しない
事実4: その両軍は幼し
事実5: 仮にとあるものが幼しということはないが使い辛いならその両軍は薄れる
事実6: とある物は近代市民法だということはないならば「それは薄れないがしかし学閥である」ということは偽だ
事実7: もしその両軍が近代市民法だとすればあのラーメン構造はし辛いということはない
事実8: 猛る一方で使い辛いということはないという物はない
事実9: その両軍は幼ししおまけにし辛い
事実10: あの惰性は学閥だ
事実11: あのラーメン構造が近代市民法であるとするとその両軍は学閥である
事実12: もし仮にある物が薄れるとすればそれは近代市民法であるかまたは学閥でないかあるいは両方ともである
事実13: もし仮にその両軍が学閥であるしその上し辛いとすれば薄れるということはない
事実14: もし「何かは猛るがそれは使い辛くない」ということは成り立つということはないとするとそれは使い辛い

仮説: その両軍は薄れる
1. 事実11と事実2から、推論1: "その両軍は学閥である"が導かれる
2. 事実9から、推論2: "「その両軍はし辛い」ということは誤りでない"が導かれる
3. 推論1と推論2から、推論3: "その両軍は学閥であるし加えてし辛い"が導かれる
4. 推論3と事実13から、仮説が否定される

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