仮に「あの難聴者はぼろくなくてしかも複葉機だということはない」ということは成り立たないとしたらそれは見間違える
fact1: 「なんらかのものは軍人らしいということはないし更に御宜しくない」ということは成り立つということはないとすればそれは小煩い fact2: もし仮にぼろくないものは複葉機でないなら見間違える fact3: もし「「なんらかのものはぼろくなくて複葉機でない」ということは間違いでない」ということは間違いであるとすると「見間違える」ということは真実である fact4: 仮に「あるものはぼろいけれど複葉機でない」ということは間違いならそれは見間違える fact5: 仮に「なにがしかの物は財政・金融政策でなくてそれは実弟でない」ということは成り立たないとすればそれは反抗する fact6: もし仮に何らかのものは複葉機であるならそれは見間違える
fact3 -> hypothesis;
fact3 -> hypothesis;
もし仮に「「あの平衡システムは軍人らしくないしかつ御宜しくない」ということは本当である」ということは成り立たないならばそれは小煩い
fact7 -> hypothesis;
$facts$ = fact1: 「なんらかのものは軍人らしいということはないし更に御宜しくない」ということは成り立つということはないとすればそれは小煩い fact2: もし仮にぼろくないものは複葉機でないなら見間違える fact3: もし「「なんらかのものはぼろくなくて複葉機でない」ということは間違いでない」ということは間違いであるとすると「見間違える」ということは真実である fact4: 仮に「あるものはぼろいけれど複葉機でない」ということは間違いならそれは見間違える fact5: 仮に「なにがしかの物は財政・金融政策でなくてそれは実弟でない」ということは成り立たないとすればそれは反抗する fact6: もし仮に何らかのものは複葉機であるならそれは見間違える ; $hypothesis$ = 仮に「あの難聴者はぼろくなくてしかも複葉機だということはない」ということは成り立たないとしたらそれは見間違える ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「なんらかのものは軍人らしいということはないし更に御宜しくない」ということは成り立つということはないとすればそれは小煩い
事実2: もし仮にぼろくないものは複葉機でないなら見間違える
事実3: もし「「なんらかのものはぼろくなくて複葉機でない」ということは間違いでない」ということは間違いであるとすると「見間違える」ということは真実である
事実4: 仮に「あるものはぼろいけれど複葉機でない」ということは間違いならそれは見間違える
事実5: 仮に「なにがしかの物は財政・金融政策でなくてそれは実弟でない」ということは成り立たないとすればそれは反抗する
事実6: もし仮に何らかのものは複葉機であるならそれは見間違える

仮説: 仮に「あの難聴者はぼろくなくてしかも複葉機だということはない」ということは成り立たないとしたらそれは見間違える
1. 事実3から、仮説が導かれる

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