この両団子は試験内容でない
fact1: 仮に「何らかの物は測量する」ということは正しいとすれば「あの逆手は試験内容でない」ということは成り立つ fact2: 仮に「試験内容でない」物があるとするとこの分業化は好ましないかまたはそれは試験内容でないかもしくは両方ともだ fact3: すべての物は救い難くない fact4: この分業化は試験内容でないとしたら「この生欠伸は鳶であるということはない」ということは事実である fact5: 仮にこの分業化が好ましないとすればあの生欠伸は鳶でない fact6: もし仮に「この両団子は経済統制でなくてその上顕現しない」ということは成り立たないならばそれは試験内容だということはない fact7: 「この両団子は経済統制でなくて顕現しない」ということは成り立たない fact8: なにがしかのものが救い難くないとすればそれは内舎人であるしかつそれは測量する
fact6 & fact7 -> hypothesis;
fact6 & fact7 -> hypothesis;
「この両団子は言い出し難くなくておまけに剥がれ易くない」ということは間違っている
fact11 -> int1: もしもあの定期券区間が救い難くないとしたらそれは内舎人でおまけに測量する; fact9 -> int2: あの定期券区間は救い難くない; int1 & int2 -> int3: 「あの定期券区間は内舎人であるしそれに測量する」ということは本当である; int3 -> int4: あの定期券区間は測量する; int4 -> int5: 「「「測量する」ということは真実である」物はある」ということは確かである; int5 & fact13 -> int6: あの逆手は試験内容であるということはない; int6 -> int7: なにかは試験内容であるということはない; int7 & fact12 -> int8: この分業化は好ましないか試験内容であるということはないかもしくは両方ともだ; int8 & fact10 & fact14 -> int9: この生欠伸は鳶でない; int9 -> int10: 何らかの物は鳶であるということはない;
$facts$ = fact1: 仮に「何らかの物は測量する」ということは正しいとすれば「あの逆手は試験内容でない」ということは成り立つ fact2: 仮に「試験内容でない」物があるとするとこの分業化は好ましないかまたはそれは試験内容でないかもしくは両方ともだ fact3: すべての物は救い難くない fact4: この分業化は試験内容でないとしたら「この生欠伸は鳶であるということはない」ということは事実である fact5: 仮にこの分業化が好ましないとすればあの生欠伸は鳶でない fact6: もし仮に「この両団子は経済統制でなくてその上顕現しない」ということは成り立たないならばそれは試験内容だということはない fact7: 「この両団子は経済統制でなくて顕現しない」ということは成り立たない fact8: なにがしかのものが救い難くないとすればそれは内舎人であるしかつそれは測量する ; $hypothesis$ = この両団子は試験内容でない ; $proof$ = 
fact6 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は測量する」ということは正しいとすれば「あの逆手は試験内容でない」ということは成り立つ
事実2: 仮に「試験内容でない」物があるとするとこの分業化は好ましないかまたはそれは試験内容でないかもしくは両方ともだ
事実3: すべての物は救い難くない
事実4: この分業化は試験内容でないとしたら「この生欠伸は鳶であるということはない」ということは事実である
事実5: 仮にこの分業化が好ましないとすればあの生欠伸は鳶でない
事実6: もし仮に「この両団子は経済統制でなくてその上顕現しない」ということは成り立たないならばそれは試験内容だということはない
事実7: 「この両団子は経済統制でなくて顕現しない」ということは成り立たない
事実8: なにがしかのものが救い難くないとすればそれは内舎人であるしかつそれは測量する

仮説: この両団子は試験内容でない
1. 事実6と事実7から、仮説が導かれる

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