このサブトラクションは特攻機でない
fact1: もしこのサブトラクションがに対して有るならばあの初期症状は仕方無しかもしくは特攻機でないかまたは両方である fact2: 仮になんらかの物が御黙るということはないとしたら衛星であるしまたそれは日米欧である fact3: もしもこの初期症状が発展出来ないとすればこのサブトラクションは特攻機だし加えて仕方無し fact4: もしこのサブトラクションはに対して有らないかもしくは付け易くないかあるいは両方であるとするとそれは特攻機だということはない fact5: この初期症状は仕方無し fact6: 「このサブトラクションは仕方無し」ということは正しいならこの初期症状はに対して有らないかまたはそれは付け易くないか両方である fact7: 「なんらかのものは圧縮出来る」ということは成り立つ fact8: もしもこの味噌が衛星であるならばこの初期症状は発展出来なくてかつ心地良くない fact9: もし仮にこの初期症状が仕方無しとすればあのサブトラクションはに対して有らないか付け易くないかどちらもだ fact10: 仮にこの初期症状が特攻機であるならばこのサブトラクションは仕方無しないかもしくは付け易いかあるいはどちらもである fact11: その一歩先は特攻機でない fact12: 仮にこの初期症状がに対して有るとすればこのサブトラクションは仕方無しかあるいは付け易くない fact13: このサブトラクションはに対して有らないかまたは付け易い
fact9 & fact5 -> int1: このサブトラクションはに対して有らないかもしくはそれは付け易いということはない; int1 & fact4 -> hypothesis;
このサブトラクションは特攻機である
fact16 -> int2: もし仮に「この味噌は御黙る」ということは成り立たないとするとそれは衛星で日米欧だ;
$facts$ = fact1: もしこのサブトラクションがに対して有るならばあの初期症状は仕方無しかもしくは特攻機でないかまたは両方である fact2: 仮になんらかの物が御黙るということはないとしたら衛星であるしまたそれは日米欧である fact3: もしもこの初期症状が発展出来ないとすればこのサブトラクションは特攻機だし加えて仕方無し fact4: もしこのサブトラクションはに対して有らないかもしくは付け易くないかあるいは両方であるとするとそれは特攻機だということはない fact5: この初期症状は仕方無し fact6: 「このサブトラクションは仕方無し」ということは正しいならこの初期症状はに対して有らないかまたはそれは付け易くないか両方である fact7: 「なんらかのものは圧縮出来る」ということは成り立つ fact8: もしもこの味噌が衛星であるならばこの初期症状は発展出来なくてかつ心地良くない fact9: もし仮にこの初期症状が仕方無しとすればあのサブトラクションはに対して有らないか付け易くないかどちらもだ fact10: 仮にこの初期症状が特攻機であるならばこのサブトラクションは仕方無しないかもしくは付け易いかあるいはどちらもである fact11: その一歩先は特攻機でない fact12: 仮にこの初期症状がに対して有るとすればこのサブトラクションは仕方無しかあるいは付け易くない fact13: このサブトラクションはに対して有らないかまたは付け易い ; $hypothesis$ = このサブトラクションは特攻機でない ; $proof$ = 
fact9 & fact5 -> int1: このサブトラクションはに対して有らないかもしくはそれは付け易いということはない; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしこのサブトラクションがに対して有るならばあの初期症状は仕方無しかもしくは特攻機でないかまたは両方である
事実2: 仮になんらかの物が御黙るということはないとしたら衛星であるしまたそれは日米欧である
事実3: もしもこの初期症状が発展出来ないとすればこのサブトラクションは特攻機だし加えて仕方無し
事実4: もしこのサブトラクションはに対して有らないかもしくは付け易くないかあるいは両方であるとするとそれは特攻機だということはない
事実5: この初期症状は仕方無し
事実6: 「このサブトラクションは仕方無し」ということは正しいならこの初期症状はに対して有らないかまたはそれは付け易くないか両方である
事実7: 「なんらかのものは圧縮出来る」ということは成り立つ
事実8: もしもこの味噌が衛星であるならばこの初期症状は発展出来なくてかつ心地良くない
事実9: もし仮にこの初期症状が仕方無しとすればあのサブトラクションはに対して有らないか付け易くないかどちらもだ
事実10: 仮にこの初期症状が特攻機であるならばこのサブトラクションは仕方無しないかもしくは付け易いかあるいはどちらもである
事実11: その一歩先は特攻機でない
事実12: 仮にこの初期症状がに対して有るとすればこのサブトラクションは仕方無しかあるいは付け易くない
事実13: このサブトラクションはに対して有らないかまたは付け易い

仮説: このサブトラクションは特攻機でない
1. 事実9と事実5から、推論1: "このサブトラクションはに対して有らないかもしくはそれは付け易いということはない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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