あの鳶口は鍛造しない
fact1: もしもあの二十本以上はせこくないとするとあの鳶口は鍛造しない fact2: なにかは松風楼でないならば「跳梁しないけれどせこい」ということは成り立たない fact3: なんらかのものは余らないとすれば「あの典拠は鍛造するけど受け入れられ易くない」ということは成り立つということはない fact4: 仮にこのピクニック気分は余るなら「あの鳶口は松風楼であるけどそれは受け入れられ易くない」ということは嘘だ fact5: 「「あの鳶口は鍛造するということはない一方でせこい」ということは成り立つ」ということは成り立たない fact6: すべてのものは松風楼でない fact7: 「配分出来る」ものはあるとしたら「この当該健康診断は語り明かすがしかし燃え滾らない」ということは成り立つということはない fact8: そのプラットフォームが交えないならばこのピクニック気分は過ごし易くないし春らしくない fact9: もしあの鳶口がせこいということはないならばあの二十本以上は松風楼でない fact10: あるものが過ごし易くないとするとそれは余るしそれは春らしい fact11: もしとある物は過ごし易いということはないしかつ春らしくないならば「あの鳶口は余らない」ということは正しい fact12: もし仮に「なにがしかのものは鍛造するけれど受け入れられ易くない」ということは誤りだとしたらそれは松風楼でない fact13: あのダブは配分出来る fact14: もし「あの二十本以上は跳梁しないがせこい」ということは誤りなら「あの鳶口は鍛造しない」ということは成り立つ fact15: あの鳶口は松風楼であるとすると「このオランウータンはせこいということはない一方で嗜む」ということは間違いだ fact16: 「このピクニック気分は過ごし易いけどそれは語り明かさない」ということは事実と異なるとしたら過ごし易くない
fact2 -> int1: もし仮にあの二十本以上は松風楼であるということはないとしたら「それは跳梁しないけどせこい」ということは偽である; fact6 -> int2: あの二十本以上は松風楼でない; int1 & int2 -> int3: 「あの二十本以上は跳梁しないけどせこい」ということは嘘だ; int3 & fact14 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact6 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬(¬{AA}{aa} & {AB}{aa}); int3 & fact14 -> hypothesis;
「あの鳶口は鍛造する」ということは成り立つ
fact18 -> int4: もしも「このピクニック気分は過ごし易くない」ということは成り立つとするとそれは余るし春らしい;
$facts$ = fact1: もしもあの二十本以上はせこくないとするとあの鳶口は鍛造しない fact2: なにかは松風楼でないならば「跳梁しないけれどせこい」ということは成り立たない fact3: なんらかのものは余らないとすれば「あの典拠は鍛造するけど受け入れられ易くない」ということは成り立つということはない fact4: 仮にこのピクニック気分は余るなら「あの鳶口は松風楼であるけどそれは受け入れられ易くない」ということは嘘だ fact5: 「「あの鳶口は鍛造するということはない一方でせこい」ということは成り立つ」ということは成り立たない fact6: すべてのものは松風楼でない fact7: 「配分出来る」ものはあるとしたら「この当該健康診断は語り明かすがしかし燃え滾らない」ということは成り立つということはない fact8: そのプラットフォームが交えないならばこのピクニック気分は過ごし易くないし春らしくない fact9: もしあの鳶口がせこいということはないならばあの二十本以上は松風楼でない fact10: あるものが過ごし易くないとするとそれは余るしそれは春らしい fact11: もしとある物は過ごし易いということはないしかつ春らしくないならば「あの鳶口は余らない」ということは正しい fact12: もし仮に「なにがしかのものは鍛造するけれど受け入れられ易くない」ということは誤りだとしたらそれは松風楼でない fact13: あのダブは配分出来る fact14: もし「あの二十本以上は跳梁しないがせこい」ということは誤りなら「あの鳶口は鍛造しない」ということは成り立つ fact15: あの鳶口は松風楼であるとすると「このオランウータンはせこいということはない一方で嗜む」ということは間違いだ fact16: 「このピクニック気分は過ごし易いけどそれは語り明かさない」ということは事実と異なるとしたら過ごし易くない ; $hypothesis$ = あの鳶口は鍛造しない ; $proof$ = 
fact2 -> int1: もし仮にあの二十本以上は松風楼であるということはないとしたら「それは跳梁しないけどせこい」ということは偽である; fact6 -> int2: あの二十本以上は松風楼でない; int1 & int2 -> int3: 「あの二十本以上は跳梁しないけどせこい」ということは嘘だ; int3 & fact14 -> hypothesis; __PROVED__
事実1: もしもあの二十本以上はせこくないとするとあの鳶口は鍛造しない
事実2: なにかは松風楼でないならば「跳梁しないけれどせこい」ということは成り立たない
事実3: なんらかのものは余らないとすれば「あの典拠は鍛造するけど受け入れられ易くない」ということは成り立つということはない
事実4: 仮にこのピクニック気分は余るなら「あの鳶口は松風楼であるけどそれは受け入れられ易くない」ということは嘘だ
事実5: 「「あの鳶口は鍛造するということはない一方でせこい」ということは成り立つ」ということは成り立たない
事実6: すべてのものは松風楼でない
事実7: 「配分出来る」ものはあるとしたら「この当該健康診断は語り明かすがしかし燃え滾らない」ということは成り立つということはない
事実8: そのプラットフォームが交えないならばこのピクニック気分は過ごし易くないし春らしくない
事実9: もしあの鳶口がせこいということはないならばあの二十本以上は松風楼でない
事実10: あるものが過ごし易くないとするとそれは余るしそれは春らしい
事実11: もしとある物は過ごし易いということはないしかつ春らしくないならば「あの鳶口は余らない」ということは正しい
事実12: もし仮に「なにがしかのものは鍛造するけれど受け入れられ易くない」ということは誤りだとしたらそれは松風楼でない
事実13: あのダブは配分出来る
事実14: もし「あの二十本以上は跳梁しないがせこい」ということは誤りなら「あの鳶口は鍛造しない」ということは成り立つ
事実15: あの鳶口は松風楼であるとすると「このオランウータンはせこいということはない一方で嗜む」ということは間違いだ
事実16: 「このピクニック気分は過ごし易いけどそれは語り明かさない」ということは事実と異なるとしたら過ごし易くない

仮説: あの鳶口は鍛造しない
1. 事実2から、推論1: "もし仮にあの二十本以上は松風楼であるということはないとしたら「それは跳梁しないけどせこい」ということは偽である"が導かれる
2. 事実6から、推論2: "あの二十本以上は松風楼でない"が導かれる
3. 推論1と推論2から、推論3: "「あの二十本以上は跳梁しないけどせこい」ということは嘘だ"が導かれる
4. 推論3と事実14から、仮説が導かれる

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