あの鷹狩りは入り難くないがしかしわりない
fact1: もし「「診断しない」ということは事実な」ものがあるとするとあの鷹狩りは教示でないけれどわりない fact2: もし何かは罷り向わないならば百万円特別控除であるし画さない fact3: 仮にあの鷹狩りが百万円特別控除でないとしたら入浴するかまたは画すということはないかあるいはどちらもだ fact4: もし仮にあの鷹狩りが百万円特別控除でないとしたら入浴するかもしくは画すかあるいは両方である fact5: 「診断しない」物はある fact6: もし仮にこの新聞・雑誌・書籍が教示だとしたらあの鷹狩りは教示だ fact7: もしなにがしかのものが画さないなら入浴しないしかつ入り難くない fact8: 何らかのものは診断すれば「それは入り難くない一方でわりない」ということは間違っている fact9: 「あの鷹狩りは教示でない」ということは真実だ fact10: もし仮に何らかのものが画さないとしたらそれは入り難くない fact11: あの鷹狩りは百万円特別控除でない fact12: もし仮にとある物が得易いとしたら罷り向わないが利用され易い fact13: 「診断する」物はある fact14: この新聞・雑誌・書籍は百万円特別控除である fact15: あの一部改変が入り難くないとすればこの新聞・雑誌・書籍は教示であるし加えてわりない fact16: あの鷹狩りは入浴するか画すかもしくはどちらもである fact17: もしもあの鷹狩りが診断するならばあのチョイスは閉ざさない一方で口汚い fact18: 仮になにがしかのものが入浴しないがしかしそれは教示だとしたら「診断する」ということは本当だ fact19: もし何かは入浴するかあるいは画しないかあるいはどちらもだとしたら「入り難い」ということは本当でない fact20: もしとある物は教示であるとするとそれは診断する fact21: 「診断するということはない」ものがあるならばあの鷹狩りは教示でない
fact5 & fact1 -> int1: あの鷹狩りは教示でない一方でわりない; int1 -> int2: あの鷹狩りはわりない; fact19 -> int3: もしもあの鷹狩りが入浴するかそれは画しないかもしくは両方ともであるとすればそれは入り難くない; fact11 & fact3 -> int4: あの鷹狩りは入浴するかもしくは画しないかもしくは両方だ; int3 & int4 -> int5: あの鷹狩りは入り難くない; int2 & int5 -> hypothesis;
fact5 & fact1 -> int1: (¬{B}{a} & {C}{a}); int1 -> int2: {C}{a}; fact19 -> int3: ({E}{a} v ¬{F}{a}) -> ¬{D}{a}; fact11 & fact3 -> int4: ({E}{a} v ¬{F}{a}); int3 & int4 -> int5: ¬{D}{a}; int2 & int5 -> hypothesis;
「あの鷹狩りは入り難くない一方でわりない」ということは成り立たない
fact23 -> int6: もし仮にあの鷹狩りは診断するとしたら「入り難くなくてわりない」ということは成り立たない; fact24 -> int7: もしもあの鷹狩りが入浴しないけどそれは教示であるとするとそれは診断する; fact22 -> int8: 「百万円特別控除な」ものはある;
$facts$ = fact1: もし「「診断しない」ということは事実な」ものがあるとするとあの鷹狩りは教示でないけれどわりない fact2: もし何かは罷り向わないならば百万円特別控除であるし画さない fact3: 仮にあの鷹狩りが百万円特別控除でないとしたら入浴するかまたは画すということはないかあるいはどちらもだ fact4: もし仮にあの鷹狩りが百万円特別控除でないとしたら入浴するかもしくは画すかあるいは両方である fact5: 「診断しない」物はある fact6: もし仮にこの新聞・雑誌・書籍が教示だとしたらあの鷹狩りは教示だ fact7: もしなにがしかのものが画さないなら入浴しないしかつ入り難くない fact8: 何らかのものは診断すれば「それは入り難くない一方でわりない」ということは間違っている fact9: 「あの鷹狩りは教示でない」ということは真実だ fact10: もし仮に何らかのものが画さないとしたらそれは入り難くない fact11: あの鷹狩りは百万円特別控除でない fact12: もし仮にとある物が得易いとしたら罷り向わないが利用され易い fact13: 「診断する」物はある fact14: この新聞・雑誌・書籍は百万円特別控除である fact15: あの一部改変が入り難くないとすればこの新聞・雑誌・書籍は教示であるし加えてわりない fact16: あの鷹狩りは入浴するか画すかもしくはどちらもである fact17: もしもあの鷹狩りが診断するならばあのチョイスは閉ざさない一方で口汚い fact18: 仮になにがしかのものが入浴しないがしかしそれは教示だとしたら「診断する」ということは本当だ fact19: もし何かは入浴するかあるいは画しないかあるいはどちらもだとしたら「入り難い」ということは本当でない fact20: もしとある物は教示であるとするとそれは診断する fact21: 「診断するということはない」ものがあるならばあの鷹狩りは教示でない ; $hypothesis$ = あの鷹狩りは入り難くないがしかしわりない ; $proof$ = 
fact5 & fact1 -> int1: あの鷹狩りは教示でない一方でわりない; int1 -> int2: あの鷹狩りはわりない; fact19 -> int3: もしもあの鷹狩りが入浴するかそれは画しないかもしくは両方ともであるとすればそれは入り難くない; fact11 & fact3 -> int4: あの鷹狩りは入浴するかもしくは画しないかもしくは両方だ; int3 & int4 -> int5: あの鷹狩りは入り難くない; int2 & int5 -> hypothesis; __PROVED__
事実1: もし「「診断しない」ということは事実な」ものがあるとするとあの鷹狩りは教示でないけれどわりない
事実2: もし何かは罷り向わないならば百万円特別控除であるし画さない
事実3: 仮にあの鷹狩りが百万円特別控除でないとしたら入浴するかまたは画すということはないかあるいはどちらもだ
事実4: もし仮にあの鷹狩りが百万円特別控除でないとしたら入浴するかもしくは画すかあるいは両方である
事実5: 「診断しない」物はある
事実6: もし仮にこの新聞・雑誌・書籍が教示だとしたらあの鷹狩りは教示だ
事実7: もしなにがしかのものが画さないなら入浴しないしかつ入り難くない
事実8: 何らかのものは診断すれば「それは入り難くない一方でわりない」ということは間違っている
事実9: 「あの鷹狩りは教示でない」ということは真実だ
事実10: もし仮に何らかのものが画さないとしたらそれは入り難くない
事実11: あの鷹狩りは百万円特別控除でない
事実12: もし仮にとある物が得易いとしたら罷り向わないが利用され易い
事実13: 「診断する」物はある
事実14: この新聞・雑誌・書籍は百万円特別控除である
事実15: あの一部改変が入り難くないとすればこの新聞・雑誌・書籍は教示であるし加えてわりない
事実16: あの鷹狩りは入浴するか画すかもしくはどちらもである
事実17: もしもあの鷹狩りが診断するならばあのチョイスは閉ざさない一方で口汚い
事実18: 仮になにがしかのものが入浴しないがしかしそれは教示だとしたら「診断する」ということは本当だ
事実19: もし何かは入浴するかあるいは画しないかあるいはどちらもだとしたら「入り難い」ということは本当でない
事実20: もしとある物は教示であるとするとそれは診断する
事実21: 「診断するということはない」ものがあるならばあの鷹狩りは教示でない

仮説: あの鷹狩りは入り難くないがしかしわりない
1. 事実5と事実1から、推論1: "あの鷹狩りは教示でない一方でわりない"が導かれる
2. 推論1から、推論2: "あの鷹狩りはわりない"が導かれる
3. 事実19から、推論3: "もしもあの鷹狩りが入浴するかそれは画しないかもしくは両方ともであるとすればそれは入り難くない"が導かれる
4. 事実11と事実3から、推論4: "あの鷹狩りは入浴するかもしくは画しないかもしくは両方だ"が導かれる
5. 推論3と推論4から、推論5: "あの鷹狩りは入り難くない"が導かれる
6. 推論2と推論5から、仮説が導かれる

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