「もしも「不味い」ということは間違いでないならば「於くということはない」ということは成り立つ」物はある
fact1: もしもあの相殺権乱用が不味いとすると取り繕うということはない fact2: もし仮にあの相殺権乱用が反射し合うとすれば於く fact3: 「もしも区分すれば忘れる」ものはある fact4: 「もしも「免ずる」ということは成り立てば行ぜない」ものはある fact5: もしあの相殺権乱用が拡充するとしたらそれはプロジェクト・マネジャーだ fact6: 「もしも間近いとすれば上等でない」物はある fact7: あの相殺権乱用は不味いとすると「それは於く」ということは本当である fact8: 「もし不味いなら於く」ものはある fact9: なにかは酔い易いなら大差無いということはない fact10: 「「もし仮に焼き切れるならＦＡＤな」物はある」ということは正しい fact11: 「仮に創案するなら厚かましくない」ものはある fact12: 仮になんらかの物が女らしいとすれば不味くない fact13: 仮にあの相殺権乱用が不味いとすれば於かない fact14: もしもなにかは達人であるとしたらそれは小躍りしない fact15: もしもあの相殺権乱用が予感すれば作り難くない fact16: 仮にあの相殺権乱用が於くとしたらそれはＶセブンでない fact17: もしあの相殺権乱用が於くなら守り抜かない
fact13 -> hypothesis;
もし仮にその社伝が女らしいなら不味くない
fact18 -> hypothesis;
$facts$ = fact1: もしもあの相殺権乱用が不味いとすると取り繕うということはない fact2: もし仮にあの相殺権乱用が反射し合うとすれば於く fact3: 「もしも区分すれば忘れる」ものはある fact4: 「もしも「免ずる」ということは成り立てば行ぜない」ものはある fact5: もしあの相殺権乱用が拡充するとしたらそれはプロジェクト・マネジャーだ fact6: 「もしも間近いとすれば上等でない」物はある fact7: あの相殺権乱用は不味いとすると「それは於く」ということは本当である fact8: 「もし不味いなら於く」ものはある fact9: なにかは酔い易いなら大差無いということはない fact10: 「「もし仮に焼き切れるならＦＡＤな」物はある」ということは正しい fact11: 「仮に創案するなら厚かましくない」ものはある fact12: 仮になんらかの物が女らしいとすれば不味くない fact13: 仮にあの相殺権乱用が不味いとすれば於かない fact14: もしもなにかは達人であるとしたらそれは小躍りしない fact15: もしもあの相殺権乱用が予感すれば作り難くない fact16: 仮にあの相殺権乱用が於くとしたらそれはＶセブンでない fact17: もしあの相殺権乱用が於くなら守り抜かない ; $hypothesis$ = 「もしも「不味い」ということは間違いでないならば「於くということはない」ということは成り立つ」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もしもあの相殺権乱用が不味いとすると取り繕うということはない
事実2: もし仮にあの相殺権乱用が反射し合うとすれば於く
事実3: 「もしも区分すれば忘れる」ものはある
事実4: 「もしも「免ずる」ということは成り立てば行ぜない」ものはある
事実5: もしあの相殺権乱用が拡充するとしたらそれはプロジェクト・マネジャーだ
事実6: 「もしも間近いとすれば上等でない」物はある
事実7: あの相殺権乱用は不味いとすると「それは於く」ということは本当である
事実8: 「もし不味いなら於く」ものはある
事実9: なにかは酔い易いなら大差無いということはない
事実10: 「「もし仮に焼き切れるならＦＡＤな」物はある」ということは正しい
事実11: 「仮に創案するなら厚かましくない」ものはある
事実12: 仮になんらかの物が女らしいとすれば不味くない
事実13: 仮にあの相殺権乱用が不味いとすれば於かない
事実14: もしもなにかは達人であるとしたらそれは小躍りしない
事実15: もしもあの相殺権乱用が予感すれば作り難くない
事実16: 仮にあの相殺権乱用が於くとしたらそれはＶセブンでない
事実17: もしあの相殺権乱用が於くなら守り抜かない

仮説: 「もしも「不味い」ということは間違いでないならば「於くということはない」ということは成り立つ」物はある
1. 事実13から、仮説が導かれる

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