「あの低リスクは退部する」ということは事実だ
fact1: あの低リスクは収納であるし覚え難い fact2: 「何かは接ぎ木するがＤ‐Ｂアンドでない」ということは本当でないなら遠心分離しない fact3: その手荒れは首尾良くておまけに民国だ fact4: あの低リスクは遠心分離するしまた退部する fact5: この六十年代生まれが肌寒くなくて押し付けがましくらないとするとあの低リスクは押し付けがましい fact6: あの三人分がＤ‐ＢアンドだとするとそのＢマンションは遠心分離するということはないがしかしそれは退部する fact7: もしとあるものが遠心分離しないとしたら自首でないかまたはそれは退部しないかあるいはどちらもである fact8: この六十年代生まれは肌寒くなくてかつそれは押し付けがましかない fact9: あの低リスクは遠心分離する fact10: あの三人分は反比例しない fact11: そのＢマンションが遠心分離しない一方で退部するとしたらあの低リスクは退部しない fact12: あの骨董屋はみっともないし更に肌寒い fact13: 「なにがしかのものは甘ったるいということはない」ということは真実であるならば「忙しいし接ぎ木する」ということは間違いである fact14: 仮になにかはみっともないならば反比例する fact15: もし「反比例する」ものがあればこの六十年代生まれは甘ったるくない fact16: もしもなんらかのものは忙しいとすると「接ぎ木するしＤ‐Ｂアンドであるということはない」ということは間違いだ fact17: もしある物が反比例しないなら忙しくておまけに甘ったるい fact18: その内装工事は遠心分離する fact19: もし仮にそのＢマンションが自首でないとするとあの低リスクは自首だ
fact4 -> hypothesis;
fact4 -> hypothesis;
あの低リスクは押し付けがましいし更に自首だ
fact27 & fact24 -> int1: あの低リスクは押し付けがましい; fact21 -> int2: あの三人分が遠心分離しないならばそれは自首でないかもしくは退部するということはないかあるいは両方だ; fact20 -> int3: もしも「あの三人分は接ぎ木するけれどＤ‐Ｂアンドでない」ということは成り立たないならばそれは遠心分離しない; fact26 -> int4: もしもあの三人分は忙しいなら「それは接ぎ木するし更にＤ‐Ｂアンドでない」ということは成り立たない; fact23 -> int5: あの三人分が反比例しないなら忙しいしまたそれは甘ったるい; int5 & fact22 -> int6: あの三人分は忙しいしまた甘ったるい; int6 -> int7: あの三人分は忙しい; int4 & int7 -> int8: 「あの三人分は接ぎ木するけどＤ‐Ｂアンドでない」ということは嘘だ; int3 & int8 -> int9: あの三人分は遠心分離しない; int2 & int9 -> int10: あの三人分は自首でないかもしくはそれは退部しないかあるいはどちらもだ;
$facts$ = fact1: あの低リスクは収納であるし覚え難い fact2: 「何かは接ぎ木するがＤ‐Ｂアンドでない」ということは本当でないなら遠心分離しない fact3: その手荒れは首尾良くておまけに民国だ fact4: あの低リスクは遠心分離するしまた退部する fact5: この六十年代生まれが肌寒くなくて押し付けがましくらないとするとあの低リスクは押し付けがましい fact6: あの三人分がＤ‐ＢアンドだとするとそのＢマンションは遠心分離するということはないがしかしそれは退部する fact7: もしとあるものが遠心分離しないとしたら自首でないかまたはそれは退部しないかあるいはどちらもである fact8: この六十年代生まれは肌寒くなくてかつそれは押し付けがましかない fact9: あの低リスクは遠心分離する fact10: あの三人分は反比例しない fact11: そのＢマンションが遠心分離しない一方で退部するとしたらあの低リスクは退部しない fact12: あの骨董屋はみっともないし更に肌寒い fact13: 「なにがしかのものは甘ったるいということはない」ということは真実であるならば「忙しいし接ぎ木する」ということは間違いである fact14: 仮になにかはみっともないならば反比例する fact15: もし「反比例する」ものがあればこの六十年代生まれは甘ったるくない fact16: もしもなんらかのものは忙しいとすると「接ぎ木するしＤ‐Ｂアンドであるということはない」ということは間違いだ fact17: もしある物が反比例しないなら忙しくておまけに甘ったるい fact18: その内装工事は遠心分離する fact19: もし仮にそのＢマンションが自首でないとするとあの低リスクは自首だ ; $hypothesis$ = 「あの低リスクは退部する」ということは事実だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あの低リスクは収納であるし覚え難い
事実2: 「何かは接ぎ木するがＤ‐Ｂアンドでない」ということは本当でないなら遠心分離しない
事実3: その手荒れは首尾良くておまけに民国だ
事実4: あの低リスクは遠心分離するしまた退部する
事実5: この六十年代生まれが肌寒くなくて押し付けがましくらないとするとあの低リスクは押し付けがましい
事実6: あの三人分がＤ‐ＢアンドだとするとそのＢマンションは遠心分離するということはないがしかしそれは退部する
事実7: もしとあるものが遠心分離しないとしたら自首でないかまたはそれは退部しないかあるいはどちらもである
事実8: この六十年代生まれは肌寒くなくてかつそれは押し付けがましかない
事実9: あの低リスクは遠心分離する
事実10: あの三人分は反比例しない
事実11: そのＢマンションが遠心分離しない一方で退部するとしたらあの低リスクは退部しない
事実12: あの骨董屋はみっともないし更に肌寒い
事実13: 「なにがしかのものは甘ったるいということはない」ということは真実であるならば「忙しいし接ぎ木する」ということは間違いである
事実14: 仮になにかはみっともないならば反比例する
事実15: もし「反比例する」ものがあればこの六十年代生まれは甘ったるくない
事実16: もしもなんらかのものは忙しいとすると「接ぎ木するしＤ‐Ｂアンドであるということはない」ということは間違いだ
事実17: もしある物が反比例しないなら忙しくておまけに甘ったるい
事実18: その内装工事は遠心分離する
事実19: もし仮にそのＢマンションが自首でないとするとあの低リスクは自首だ

仮説: 「あの低リスクは退部する」ということは事実だ
1. 事実4から、仮説が導かれる

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