この十数種類は考え辛い
fact1: もしもとあるものが熟知しないとするとそれは考え辛いしさらに経審である fact2: 仮にあの法華宗が四航戦でないとしたらそれは補助制度でなくて無門であるということはない fact3: もし仮にとあるものは動かし難くないならば「それは熟知するし更に経審である」ということは成り立たない fact4: 何かは振り動かさないならばあのネットショッピングは在学しない fact5: あるものが無門であるとしたらあのトンネル群は振り動かすということはないけれどオンライン注文である fact6: あの痺れは経審である fact7: もしもあの法華宗が補助制度だということはないし無門でないならその冠婚葬祭は無門だ fact8: この明かり取りは三分診療であるしさらにそれは灌水する fact9: 仮に「あの下見板張りが熟知するしその上経審だ」ということは成り立たないとすればこの十数種類は考え辛くない fact10: この十数種類は経審であるし考え辛い fact11: 「あの法華宗は四航戦だということはない」ということは成り立つ fact12: 仮に「その会社再生は売り上げ代金であるが動かし難くない」ということは間違いならばあの下見板張りは動かし難くない fact13: この十数種類は経審だ fact14: この十数種類はずり落ちるし更に表白する
fact10 -> hypothesis;
この有効成分は考え辛い
fact15 -> int1: この有効成分は熟知しないなら「それは考え辛いし経審である」ということは正しい;
$facts$ = fact1: もしもとあるものが熟知しないとするとそれは考え辛いしさらに経審である fact2: 仮にあの法華宗が四航戦でないとしたらそれは補助制度でなくて無門であるということはない fact3: もし仮にとあるものは動かし難くないならば「それは熟知するし更に経審である」ということは成り立たない fact4: 何かは振り動かさないならばあのネットショッピングは在学しない fact5: あるものが無門であるとしたらあのトンネル群は振り動かすということはないけれどオンライン注文である fact6: あの痺れは経審である fact7: もしもあの法華宗が補助制度だということはないし無門でないならその冠婚葬祭は無門だ fact8: この明かり取りは三分診療であるしさらにそれは灌水する fact9: 仮に「あの下見板張りが熟知するしその上経審だ」ということは成り立たないとすればこの十数種類は考え辛くない fact10: この十数種類は経審であるし考え辛い fact11: 「あの法華宗は四航戦だということはない」ということは成り立つ fact12: 仮に「その会社再生は売り上げ代金であるが動かし難くない」ということは間違いならばあの下見板張りは動かし難くない fact13: この十数種類は経審だ fact14: この十数種類はずり落ちるし更に表白する ; $hypothesis$ = この十数種類は考え辛い ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もしもとあるものが熟知しないとするとそれは考え辛いしさらに経審である
事実2: 仮にあの法華宗が四航戦でないとしたらそれは補助制度でなくて無門であるということはない
事実3: もし仮にとあるものは動かし難くないならば「それは熟知するし更に経審である」ということは成り立たない
事実4: 何かは振り動かさないならばあのネットショッピングは在学しない
事実5: あるものが無門であるとしたらあのトンネル群は振り動かすということはないけれどオンライン注文である
事実6: あの痺れは経審である
事実7: もしもあの法華宗が補助制度だということはないし無門でないならその冠婚葬祭は無門だ
事実8: この明かり取りは三分診療であるしさらにそれは灌水する
事実9: 仮に「あの下見板張りが熟知するしその上経審だ」ということは成り立たないとすればこの十数種類は考え辛くない
事実10: この十数種類は経審であるし考え辛い
事実11: 「あの法華宗は四航戦だということはない」ということは成り立つ
事実12: 仮に「その会社再生は売り上げ代金であるが動かし難くない」ということは間違いならばあの下見板張りは動かし難くない
事実13: この十数種類は経審だ
事実14: この十数種類はずり落ちるし更に表白する

仮説: この十数種類は考え辛い
1. 事実10から、仮説が導かれる

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