あのＳＦＡＣは父子関係である
fact1: 仮にその地域資本が流し合わないとしたらこの練り辛子は忙しくない fact2: 物らしくない物は忙しくて密売する fact3: その飛び箱は今日的課題だ一方で忙しくない fact4: あの川岸は流し合うということはない fact5: 仮に「その地域資本は染み込み易いしそれに流し合う」ということは成り立つということはないとするとこの練り辛子は忙しいということはない fact6: 「もしも「その地域資本は忙しいし密売する」ということは誤りであるならあの伯父夫婦は流し合うということはない」ということは間違っていない fact7: あの伯父夫婦は密売するけど忙しくない fact8: 「その地域資本は生まれ落ちる」ということは成り立つ fact9: 仮にあのＳＦＡＣは父子関係でないとしたら「「その地域資本は染み込み易くてかつ流し合う」ということは間違いである」ということは間違っているということはない fact10: このＣＶＤ法は染み込み易い fact11: 「あの伯父夫婦は密売するけど忙しくない」ということは成り立つとすればあの練り辛子は忙しい fact12: あの伯父夫婦は密売する fact13: その地域資本は流し合うけど忙しくない fact14: この練り辛子は密売するがしかし見入らない fact15: 「あの伯父夫婦は父子関係であるし加えてそれは密売する」ということは成り立たない
void -> assump1: 以下のように仮定する。あのＳＦＡＣは父子関係でない; fact9 & assump1 -> int1: 「その地域資本は染み込み易いし流し合う」ということは成り立たない; int1 & fact5 -> int2: この練り辛子は忙しくない; fact11 & fact7 -> int3: この練り辛子は忙しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あのＳＦＡＣは父子関係でない
fact16 -> int5: 仮にこの練り辛子が物らしくないとすればそれは忙しくて密売する;
$facts$ = fact1: 仮にその地域資本が流し合わないとしたらこの練り辛子は忙しくない fact2: 物らしくない物は忙しくて密売する fact3: その飛び箱は今日的課題だ一方で忙しくない fact4: あの川岸は流し合うということはない fact5: 仮に「その地域資本は染み込み易いしそれに流し合う」ということは成り立つということはないとするとこの練り辛子は忙しいということはない fact6: 「もしも「その地域資本は忙しいし密売する」ということは誤りであるならあの伯父夫婦は流し合うということはない」ということは間違っていない fact7: あの伯父夫婦は密売するけど忙しくない fact8: 「その地域資本は生まれ落ちる」ということは成り立つ fact9: 仮にあのＳＦＡＣは父子関係でないとしたら「「その地域資本は染み込み易くてかつ流し合う」ということは間違いである」ということは間違っているということはない fact10: このＣＶＤ法は染み込み易い fact11: 「あの伯父夫婦は密売するけど忙しくない」ということは成り立つとすればあの練り辛子は忙しい fact12: あの伯父夫婦は密売する fact13: その地域資本は流し合うけど忙しくない fact14: この練り辛子は密売するがしかし見入らない fact15: 「あの伯父夫婦は父子関係であるし加えてそれは密売する」ということは成り立たない ; $hypothesis$ = あのＳＦＡＣは父子関係である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＳＦＡＣは父子関係でない; fact9 & assump1 -> int1: 「その地域資本は染み込み易いし流し合う」ということは成り立たない; int1 & fact5 -> int2: この練り辛子は忙しくない; fact11 & fact7 -> int3: この練り辛子は忙しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮にその地域資本が流し合わないとしたらこの練り辛子は忙しくない
事実2: 物らしくない物は忙しくて密売する
事実3: その飛び箱は今日的課題だ一方で忙しくない
事実4: あの川岸は流し合うということはない
事実5: 仮に「その地域資本は染み込み易いしそれに流し合う」ということは成り立つということはないとするとこの練り辛子は忙しいということはない
事実6: 「もしも「その地域資本は忙しいし密売する」ということは誤りであるならあの伯父夫婦は流し合うということはない」ということは間違っていない
事実7: あの伯父夫婦は密売するけど忙しくない
事実8: 「その地域資本は生まれ落ちる」ということは成り立つ
事実9: 仮にあのＳＦＡＣは父子関係でないとしたら「「その地域資本は染み込み易くてかつ流し合う」ということは間違いである」ということは間違っているということはない
事実10: このＣＶＤ法は染み込み易い
事実11: 「あの伯父夫婦は密売するけど忙しくない」ということは成り立つとすればあの練り辛子は忙しい
事実12: あの伯父夫婦は密売する
事実13: その地域資本は流し合うけど忙しくない
事実14: この練り辛子は密売するがしかし見入らない
事実15: 「あの伯父夫婦は父子関係であるし加えてそれは密売する」ということは成り立たない

仮説: あのＳＦＡＣは父子関係である
1. 仮定1: 以下のように仮定する。あのＳＦＡＣは父子関係でない
2. 事実9と仮定1から、推論1: "「その地域資本は染み込み易いし流し合う」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "この練り辛子は忙しくない"が導かれる
4. 事実11と事実7から、推論3: "この練り辛子は忙しい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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