「もし仮に心強くないし家出しないとすれば関連し合わない」ものはある
fact1: もし心強いものは家出しないなら「関連し合わない」ということは本当である fact2: 「もし心強い一方で家出しないとすると関連し合わない」物はある fact3: もし仮にあの下流部分が心強くなくて家出しないならば関連し合う fact4: もし仮に心強いということはない物が家出しないとしたら関連し合う fact5: 「もしも「心強くなくておまけに家出する」ということは本当ならば関連し合わない」物はある fact6: あの下流部分は前掲注でなくておまけに代行し得ないとすればそれは漏れ無くない fact7: 仮にその飢饉奴隷が牛皮でなくてそれに洗い流さないとすれば心強くない fact8: もしも心強いということはないものが家出するということはないなら関連し合わない fact9: 心強くない物が家出するとすればそれは関連し合わない fact10: 「あの下流部分は売買価格でないしさらに町々でない」ということは成り立つならそれは不味くない fact11: あの下流部分は心強いが家出しないなら関連し合わない fact12: 「もしむず痒さでないしそれに空々しかないとしたら担保物でない」ものはある fact13: 「心強くなくてかつ家出しないとしたら関連し合う」ものはある fact14: もしもあの下流部分が心強くない一方でそれが家出するなら関連し合うということはない fact15: もし仮に何かは日本人らしいということはなくて真白くないとすれば嘆願するということはない
fact8 -> int1: あの下流部分は心強いということはないし家出しないならば関連し合わない; int1 -> hypothesis;
$facts$ = fact1: もし心強いものは家出しないなら「関連し合わない」ということは本当である fact2: 「もし心強い一方で家出しないとすると関連し合わない」物はある fact3: もし仮にあの下流部分が心強くなくて家出しないならば関連し合う fact4: もし仮に心強いということはない物が家出しないとしたら関連し合う fact5: 「もしも「心強くなくておまけに家出する」ということは本当ならば関連し合わない」物はある fact6: あの下流部分は前掲注でなくておまけに代行し得ないとすればそれは漏れ無くない fact7: 仮にその飢饉奴隷が牛皮でなくてそれに洗い流さないとすれば心強くない fact8: もしも心強いということはないものが家出するということはないなら関連し合わない fact9: 心強くない物が家出するとすればそれは関連し合わない fact10: 「あの下流部分は売買価格でないしさらに町々でない」ということは成り立つならそれは不味くない fact11: あの下流部分は心強いが家出しないなら関連し合わない fact12: 「もしむず痒さでないしそれに空々しかないとしたら担保物でない」ものはある fact13: 「心強くなくてかつ家出しないとしたら関連し合う」ものはある fact14: もしもあの下流部分が心強くない一方でそれが家出するなら関連し合うということはない fact15: もし仮に何かは日本人らしいということはなくて真白くないとすれば嘆願するということはない ; $hypothesis$ = 「もし仮に心強くないし家出しないとすれば関連し合わない」ものはある ; $proof$ = 
fact8 -> int1: あの下流部分は心強いということはないし家出しないならば関連し合わない; int1 -> hypothesis; __PROVED__
事実1: もし心強いものは家出しないなら「関連し合わない」ということは本当である
事実2: 「もし心強い一方で家出しないとすると関連し合わない」物はある
事実3: もし仮にあの下流部分が心強くなくて家出しないならば関連し合う
事実4: もし仮に心強いということはない物が家出しないとしたら関連し合う
事実5: 「もしも「心強くなくておまけに家出する」ということは本当ならば関連し合わない」物はある
事実6: あの下流部分は前掲注でなくておまけに代行し得ないとすればそれは漏れ無くない
事実7: 仮にその飢饉奴隷が牛皮でなくてそれに洗い流さないとすれば心強くない
事実8: もしも心強いということはないものが家出するということはないなら関連し合わない
事実9: 心強くない物が家出するとすればそれは関連し合わない
事実10: 「あの下流部分は売買価格でないしさらに町々でない」ということは成り立つならそれは不味くない
事実11: あの下流部分は心強いが家出しないなら関連し合わない
事実12: 「もしむず痒さでないしそれに空々しかないとしたら担保物でない」ものはある
事実13: 「心強くなくてかつ家出しないとしたら関連し合う」ものはある
事実14: もしもあの下流部分が心強くない一方でそれが家出するなら関連し合うということはない
事実15: もし仮に何かは日本人らしいということはなくて真白くないとすれば嘆願するということはない

仮説: 「もし仮に心強くないし家出しないとすれば関連し合わない」ものはある
1. 事実8から、推論1: "あの下流部分は心強いということはないし家出しないならば関連し合わない"が導かれる
2. 推論1から、仮説が導かれる

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