その長宗我部軍はＲＣＲＳであるかあるいはそれはちっちゃいかまたは両方ともだ
fact1: もし仮にとある物は赤くないとすれば「ＲＣＲＳであるかそれはちっちゃいかもしくはどちらもだ」ということは成り立たない fact2: その長宗我部軍は調度である fact3: その長宗我部軍は者同士であるか日本らしい fact4: その長宗我部軍はＲＣＲＳであるかもしくはそれは目覚める fact5: 「その長宗我部軍はレディネスであるかＲＣＲＳである」ということは本当である fact6: もしある物が切り替えないとするとそれは赤いしそれは愛情深い fact7: その長宗我部軍はちっちゃい fact8: その長宗我部軍は呼応し合う fact9: その本非課税はＲＣＲＳである fact10: 「その長宗我部軍は切り替えないかまたは愛情深くない」ということは間違っているなら赤いということはない fact11: その長宗我部軍はちっちゃいかあるいは取り零すかもしくはどちらもである fact12: あの卸売り金額は切り替えない fact13: もしちっちゃくないものはＲＣＲＳであるならば観光化する fact14: あの妖精達はちっちゃい fact15: その書類は国情であるかそれはＲＣＲＳであるかあるいはどちらもである fact16: その長宗我部軍は反応し易い
fact7 -> hypothesis;
fact7 -> hypothesis;
その長宗我部軍は観光化するかあるいは遅過ぎる
fact19 -> int1: もしその長宗我部軍はちっちゃくないがしかしＲＣＲＳであるとすれば観光化する; fact18 -> int2: もしあの卸売り金額は切り替えないならば「それは赤いし愛情深い」ということは正しい; int2 & fact17 -> int3: あの卸売り金額は赤くて加えて愛情深い; int3 -> int4: あの卸売り金額は赤い; int4 -> int5: 「赤い」物はある;
$facts$ = fact1: もし仮にとある物は赤くないとすれば「ＲＣＲＳであるかそれはちっちゃいかもしくはどちらもだ」ということは成り立たない fact2: その長宗我部軍は調度である fact3: その長宗我部軍は者同士であるか日本らしい fact4: その長宗我部軍はＲＣＲＳであるかもしくはそれは目覚める fact5: 「その長宗我部軍はレディネスであるかＲＣＲＳである」ということは本当である fact6: もしある物が切り替えないとするとそれは赤いしそれは愛情深い fact7: その長宗我部軍はちっちゃい fact8: その長宗我部軍は呼応し合う fact9: その本非課税はＲＣＲＳである fact10: 「その長宗我部軍は切り替えないかまたは愛情深くない」ということは間違っているなら赤いということはない fact11: その長宗我部軍はちっちゃいかあるいは取り零すかもしくはどちらもである fact12: あの卸売り金額は切り替えない fact13: もしちっちゃくないものはＲＣＲＳであるならば観光化する fact14: あの妖精達はちっちゃい fact15: その書類は国情であるかそれはＲＣＲＳであるかあるいはどちらもである fact16: その長宗我部軍は反応し易い ; $hypothesis$ = その長宗我部軍はＲＣＲＳであるかあるいはそれはちっちゃいかまたは両方ともだ ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし仮にとある物は赤くないとすれば「ＲＣＲＳであるかそれはちっちゃいかもしくはどちらもだ」ということは成り立たない
事実2: その長宗我部軍は調度である
事実3: その長宗我部軍は者同士であるか日本らしい
事実4: その長宗我部軍はＲＣＲＳであるかもしくはそれは目覚める
事実5: 「その長宗我部軍はレディネスであるかＲＣＲＳである」ということは本当である
事実6: もしある物が切り替えないとするとそれは赤いしそれは愛情深い
事実7: その長宗我部軍はちっちゃい
事実8: その長宗我部軍は呼応し合う
事実9: その本非課税はＲＣＲＳである
事実10: 「その長宗我部軍は切り替えないかまたは愛情深くない」ということは間違っているなら赤いということはない
事実11: その長宗我部軍はちっちゃいかあるいは取り零すかもしくはどちらもである
事実12: あの卸売り金額は切り替えない
事実13: もしちっちゃくないものはＲＣＲＳであるならば観光化する
事実14: あの妖精達はちっちゃい
事実15: その書類は国情であるかそれはＲＣＲＳであるかあるいはどちらもである
事実16: その長宗我部軍は反応し易い

仮説: その長宗我部軍はＲＣＲＳであるかあるいはそれはちっちゃいかまたは両方ともだ
1. 事実7から、仮説が導かれる

よって、仮説が証明されました。