「その概要は間違えるしそれは得する」ということは成り立たない
fact1: 何らかの物は病菌であるかもしくは内務班だ fact2: 「病菌でないかあるいは間違えるかもしくは両方ともな」物があるとすればこのＡＮＸは畿内近国でない fact3: とある物は柔らかくないかもしくは土地改良であるか両方である fact4: 病菌は間違える fact5: もしも「なんらかの物は畿内近国でない」ということは成り立つとすると「それは間違えるしかつそれは得する」ということは成り立つということはない fact6: 仮にこのＡＮＸは間違えるということはないならば「それは得するしまたそれは内務班だ」ということは誤っている fact7: もし仮になんらかの物は病菌でないかもしくは内務班であるかもしくはどちらもであるとすれば「その概要は畿内近国であるということはない」ということは成り立つ fact8: このＡＮＸは病菌でないかあるいは内務班であるかもしくは両方ともだ fact9: 何らかの物はゴルフ練習場でないかまたはそれは十四歳以下であるかもしくは両方ともである fact10: もし「内務班である」ものがあるとしたらその概要は畿内近国でない fact11: もしこの野菜等が内務班でないならばあの概要は病菌である
fact8 -> int1: なにがしかの物は病菌でないかまたは内務班であるかまたはどちらもである; int1 & fact7 -> int2: その概要は畿内近国でない; fact5 -> int3: その概要は畿内近国でないなら「間違えるし得する」ということは成り立たない; int2 & int3 -> hypothesis;
その概要は間違えるし得する
fact13 -> int4: 仮にその概要が病菌ならそれは間違える;
$facts$ = fact1: 何らかの物は病菌であるかもしくは内務班だ fact2: 「病菌でないかあるいは間違えるかもしくは両方ともな」物があるとすればこのＡＮＸは畿内近国でない fact3: とある物は柔らかくないかもしくは土地改良であるか両方である fact4: 病菌は間違える fact5: もしも「なんらかの物は畿内近国でない」ということは成り立つとすると「それは間違えるしかつそれは得する」ということは成り立つということはない fact6: 仮にこのＡＮＸは間違えるということはないならば「それは得するしまたそれは内務班だ」ということは誤っている fact7: もし仮になんらかの物は病菌でないかもしくは内務班であるかもしくはどちらもであるとすれば「その概要は畿内近国であるということはない」ということは成り立つ fact8: このＡＮＸは病菌でないかあるいは内務班であるかもしくは両方ともだ fact9: 何らかの物はゴルフ練習場でないかまたはそれは十四歳以下であるかもしくは両方ともである fact10: もし「内務班である」ものがあるとしたらその概要は畿内近国でない fact11: もしこの野菜等が内務班でないならばあの概要は病菌である ; $hypothesis$ = 「その概要は間違えるしそれは得する」ということは成り立たない ; $proof$ = 
fact8 -> int1: なにがしかの物は病菌でないかまたは内務班であるかまたはどちらもである; int1 & fact7 -> int2: その概要は畿内近国でない; fact5 -> int3: その概要は畿内近国でないなら「間違えるし得する」ということは成り立たない; int2 & int3 -> hypothesis; __PROVED__
事実1: 何らかの物は病菌であるかもしくは内務班だ
事実2: 「病菌でないかあるいは間違えるかもしくは両方ともな」物があるとすればこのＡＮＸは畿内近国でない
事実3: とある物は柔らかくないかもしくは土地改良であるか両方である
事実4: 病菌は間違える
事実5: もしも「なんらかの物は畿内近国でない」ということは成り立つとすると「それは間違えるしかつそれは得する」ということは成り立つということはない
事実6: 仮にこのＡＮＸは間違えるということはないならば「それは得するしまたそれは内務班だ」ということは誤っている
事実7: もし仮になんらかの物は病菌でないかもしくは内務班であるかもしくはどちらもであるとすれば「その概要は畿内近国であるということはない」ということは成り立つ
事実8: このＡＮＸは病菌でないかあるいは内務班であるかもしくは両方ともだ
事実9: 何らかの物はゴルフ練習場でないかまたはそれは十四歳以下であるかもしくは両方ともである
事実10: もし「内務班である」ものがあるとしたらその概要は畿内近国でない
事実11: もしこの野菜等が内務班でないならばあの概要は病菌である

仮説: 「その概要は間違えるしそれは得する」ということは成り立たない
1. 事実8から、推論1: "なにがしかの物は病菌でないかまたは内務班であるかまたはどちらもである"が導かれる
2. 推論1と事実7から、推論2: "その概要は畿内近国でない"が導かれる
3. 事実5から、推論3: "その概要は畿内近国でないなら「間違えるし得する」ということは成り立たない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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