「「この地付きは判断し難くないかもしくは久しということはないかあるいは両方ともだ」ということは誤りである」ということは本当である
fact1: もし仮に「この異業種は反するということはないししかもそれは淑女でない」ということは成り立たないならばあの荒技は冬らしくない fact2: 仮になにかは口授であるとすれば「象徴派でないしかつ判断し難くない」ということは事実と異なる fact3: 「「象徴派でなくて判断し難くない」ということは成り立たない」物があるとすればこの異業種は小食だ fact4: 返書は口授である fact5: もしその地銀平均は象徴派だとすると「あの荒技は冬らしい」ということは真実である fact6: 仮にこの超短波が見られ易いということはないならばこの仮定法過去は小食でないがしかし見られ易い fact7: その地銀平均は象徴派だ fact8: なにがしかのものが反しない一方で淑女だとすればこの超短波は見られ易くない fact9: もし仮にこの仮定法過去が小食だということはないけれど見られ易いならばこのヒガイは久し fact10: とある物は見られ易いならば「それは冬らしくないし差し押さえするということはない」ということは誤りだ fact11: 仮にとある物が反しなくてしかも淑女でないとしたらこの超短波は見られ易いということはない fact12: 仮にこのヒガイは久しなら「この地付きは判断し難くないかそれは久しないかもしくはどちらもだ」ということは本当でない fact13: この超短波はオーバーシュートするか返書である fact14: もしもこの超短波がオーバーシュートするとすれば口授だ fact15: 仮に「なにかは久し一方で小食でない」ということは成り立たないとすると「見られ易い」ということは成り立つ
void -> assump1: 以下のように仮定する。「この異業種は反しないし淑女でない」ということは成り立たない; fact1 & assump1 -> int1: あの荒技は冬らしいということはない; fact7 & fact5 -> int2: あの荒技は冬らしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この異業種は反しなくてそれは淑女でない; int4 -> int5: なにがしかのものは反しなくて更に淑女でない; int5 & fact11 -> int6: この超短波は見られ易くない; int6 & fact6 -> int7: この仮定法過去は小食だということはないが見られ易い; int7 & fact9 -> int8: このヒガイは久し; int8 & fact12 -> hypothesis;
「あの荒技は冬らしくないししかも差し押さえするということはない」ということは成り立つということはない
fact21 -> int9: 仮にあの荒技は見られ易いとすれば「それは冬らしくないしさらに差し押さえしない」ということは確かでない; fact22 -> int10: 仮に「あの荒技は久しが小食でない」ということは事実と異なるなら見られ易い; fact19 -> int11: 「もしこの超短波は口授だとすると「この超短波は象徴派だということはないし更にそれは判断し難いということはない」ということは成り立たない」ということは事実である; fact17 -> int12: もしもこの超短波が返書ならばそれは口授だ; fact18 & fact20 & int12 -> int13: この超短波は口授である; int11 & int13 -> int14: 「この超短波は象徴派でないししかも判断し難くない」ということは本当でない; int14 -> int15: 「「象徴派でなくてその上判断し難くない」ということは成り立たない」物はある; int15 & fact16 -> int16: この異業種は小食である; int16 -> int17: 「小食な」物はある;
$facts$ = fact1: もし仮に「この異業種は反するということはないししかもそれは淑女でない」ということは成り立たないならばあの荒技は冬らしくない fact2: 仮になにかは口授であるとすれば「象徴派でないしかつ判断し難くない」ということは事実と異なる fact3: 「「象徴派でなくて判断し難くない」ということは成り立たない」物があるとすればこの異業種は小食だ fact4: 返書は口授である fact5: もしその地銀平均は象徴派だとすると「あの荒技は冬らしい」ということは真実である fact6: 仮にこの超短波が見られ易いということはないならばこの仮定法過去は小食でないがしかし見られ易い fact7: その地銀平均は象徴派だ fact8: なにがしかのものが反しない一方で淑女だとすればこの超短波は見られ易くない fact9: もし仮にこの仮定法過去が小食だということはないけれど見られ易いならばこのヒガイは久し fact10: とある物は見られ易いならば「それは冬らしくないし差し押さえするということはない」ということは誤りだ fact11: 仮にとある物が反しなくてしかも淑女でないとしたらこの超短波は見られ易いということはない fact12: 仮にこのヒガイは久しなら「この地付きは判断し難くないかそれは久しないかもしくはどちらもだ」ということは本当でない fact13: この超短波はオーバーシュートするか返書である fact14: もしもこの超短波がオーバーシュートするとすれば口授だ fact15: 仮に「なにかは久し一方で小食でない」ということは成り立たないとすると「見られ易い」ということは成り立つ ; $hypothesis$ = 「「この地付きは判断し難くないかもしくは久しということはないかあるいは両方ともだ」ということは誤りである」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この異業種は反しないし淑女でない」ということは成り立たない; fact1 & assump1 -> int1: あの荒技は冬らしいということはない; fact7 & fact5 -> int2: あの荒技は冬らしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この異業種は反しなくてそれは淑女でない; int4 -> int5: なにがしかのものは反しなくて更に淑女でない; int5 & fact11 -> int6: この超短波は見られ易くない; int6 & fact6 -> int7: この仮定法過去は小食だということはないが見られ易い; int7 & fact9 -> int8: このヒガイは久し; int8 & fact12 -> hypothesis; __PROVED__
事実1: もし仮に「この異業種は反するということはないししかもそれは淑女でない」ということは成り立たないならばあの荒技は冬らしくない
事実2: 仮になにかは口授であるとすれば「象徴派でないしかつ判断し難くない」ということは事実と異なる
事実3: 「「象徴派でなくて判断し難くない」ということは成り立たない」物があるとすればこの異業種は小食だ
事実4: 返書は口授である
事実5: もしその地銀平均は象徴派だとすると「あの荒技は冬らしい」ということは真実である
事実6: 仮にこの超短波が見られ易いということはないならばこの仮定法過去は小食でないがしかし見られ易い
事実7: その地銀平均は象徴派だ
事実8: なにがしかのものが反しない一方で淑女だとすればこの超短波は見られ易くない
事実9: もし仮にこの仮定法過去が小食だということはないけれど見られ易いならばこのヒガイは久し
事実10: とある物は見られ易いならば「それは冬らしくないし差し押さえするということはない」ということは誤りだ
事実11: 仮にとある物が反しなくてしかも淑女でないとしたらこの超短波は見られ易いということはない
事実12: 仮にこのヒガイは久しなら「この地付きは判断し難くないかそれは久しないかもしくはどちらもだ」ということは本当でない
事実13: この超短波はオーバーシュートするか返書である
事実14: もしもこの超短波がオーバーシュートするとすれば口授だ
事実15: 仮に「なにかは久し一方で小食でない」ということは成り立たないとすると「見られ易い」ということは成り立つ

仮説: 「「この地付きは判断し難くないかもしくは久しということはないかあるいは両方ともだ」ということは誤りである」ということは本当である
1. 仮定1: 以下のように仮定する。「この異業種は反しないし淑女でない」ということは成り立たない
2. 事実1と仮定1から、推論1: "あの荒技は冬らしいということはない"が導かれる
3. 事実7と事実5から、推論2: "あの荒技は冬らしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この異業種は反しなくてそれは淑女でない"が導かれる
6. 推論4から、推論5: "なにがしかのものは反しなくて更に淑女でない"が導かれる
7. 推論5と事実11から、推論6: "この超短波は見られ易くない"が導かれる
8. 推論6と事実6から、推論7: "この仮定法過去は小食だということはないが見られ易い"が導かれる
9. 推論7と事実9から、推論8: "このヒガイは久し"が導かれる
10. 推論8と事実12から、仮説が導かれる

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