「この考え物は生白いけど畳み掛けるということはない」ということは偽だ
fact1: 仮にあのインテークは寛政期でないなら「この考え物は生白いし畳み掛ける」ということは成り立たない fact2: もしもなにがしかのものが述べ伝えるということはないとすると生白いし畳み掛けない fact3: 「あのインテークは大反対する」ということは事実だとすればこの考え物は寛政期だが居住地でない fact4: あのインテークは述べ伝えない fact5: もしもこの数限りは自発的協力でないとすると不足し易いがしかし限り無くない fact6: 仮にあのインテークが居住地なら寛政期でない fact7: この連結決算は述べ伝えない fact8: もし「あのインテークは述べ伝えない」ということは成り立つならそれは居住地だ fact9: もしもあのインテークは寛政期でないとしたら「この考え物は生白いが畳み掛けない」ということは間違っている fact10: もしこの数限りが不足し易いがしかし限り無くないならあのインテークは大反対する fact11: 「この事後求償権は居住地である」ということは成り立つ
fact8 & fact4 -> int1: あのインテークは居住地である; int1 & fact6 -> int2: あのインテークは寛政期でない; int2 & fact9 -> hypothesis;
fact8 & fact4 -> int1: {B}{a}; int1 & fact6 -> int2: ¬{C}{a}; int2 & fact9 -> hypothesis;
この考え物は生白い一方で畳み掛けない
fact14 -> int3: もし仮にこの考え物が述べ伝えないとするとそれは生白いけれど畳み掛けない;
$facts$ = fact1: 仮にあのインテークは寛政期でないなら「この考え物は生白いし畳み掛ける」ということは成り立たない fact2: もしもなにがしかのものが述べ伝えるということはないとすると生白いし畳み掛けない fact3: 「あのインテークは大反対する」ということは事実だとすればこの考え物は寛政期だが居住地でない fact4: あのインテークは述べ伝えない fact5: もしもこの数限りは自発的協力でないとすると不足し易いがしかし限り無くない fact6: 仮にあのインテークが居住地なら寛政期でない fact7: この連結決算は述べ伝えない fact8: もし「あのインテークは述べ伝えない」ということは成り立つならそれは居住地だ fact9: もしもあのインテークは寛政期でないとしたら「この考え物は生白いが畳み掛けない」ということは間違っている fact10: もしこの数限りが不足し易いがしかし限り無くないならあのインテークは大反対する fact11: 「この事後求償権は居住地である」ということは成り立つ ; $hypothesis$ = 「この考え物は生白いけど畳み掛けるということはない」ということは偽だ ; $proof$ = 
fact8 & fact4 -> int1: あのインテークは居住地である; int1 & fact6 -> int2: あのインテークは寛政期でない; int2 & fact9 -> hypothesis; __PROVED__
事実1: 仮にあのインテークは寛政期でないなら「この考え物は生白いし畳み掛ける」ということは成り立たない
事実2: もしもなにがしかのものが述べ伝えるということはないとすると生白いし畳み掛けない
事実3: 「あのインテークは大反対する」ということは事実だとすればこの考え物は寛政期だが居住地でない
事実4: あのインテークは述べ伝えない
事実5: もしもこの数限りは自発的協力でないとすると不足し易いがしかし限り無くない
事実6: 仮にあのインテークが居住地なら寛政期でない
事実7: この連結決算は述べ伝えない
事実8: もし「あのインテークは述べ伝えない」ということは成り立つならそれは居住地だ
事実9: もしもあのインテークは寛政期でないとしたら「この考え物は生白いが畳み掛けない」ということは間違っている
事実10: もしこの数限りが不足し易いがしかし限り無くないならあのインテークは大反対する
事実11: 「この事後求償権は居住地である」ということは成り立つ

仮説: 「この考え物は生白いけど畳み掛けるということはない」ということは偽だ
1. 事実8と事実4から、推論1: "あのインテークは居住地である"が導かれる
2. 推論1と事実6から、推論2: "あのインテークは寛政期でない"が導かれる
3. 推論2と事実9から、仮説が導かれる

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