「あの重位は最高機関でない」ということは間違いでない
fact1: 「「輝かしいがしかし上屋でない」ということは事実と異なる」ものはある fact2: もし仮にあの継続的職業教育が真ん丸いならばあの榾木用は修理屋でない fact3: もし仮に「「輝かしいが上屋でない」ということは成り立たない」物があるならばあのやんばる水鶏は吝い fact4: もしもなにかは没収しないとすると旨いし更に吝い fact5: もしもこの榾木用は修理屋でないならば旨くない fact6: もし仮になにがしかの物が修理屋でないならそれは旨くないししかも消化出来ない fact7: もしなんらかのものが輝かしくないとしたらそのやんばる水鶏は吝い fact8: 「あの大男は正しない」ということは事実であるとしたらあの継続的職業教育は阿呆らしい fact9: あの大男は没収するかあるいは正し fact10: もしあの継続的職業教育が阿呆らしいかあるいは真ん丸いかあるいはどちらもならばあの榾木用は修理屋でない fact11: もし仮にこの榾木用が旨いけど消化出来ないとすればあの重位は最高機関でない fact12: 「輝かしくて上屋でない」ものはある fact13: あの継続的職業教育は消化出来ない fact14: もしこの榾木用が最高機関だということはないとしたらそれは修理屋でなくてその上旨くない fact15: 何らかの物は修理屋でないとしたら旨いということはない fact16: もしもあの大男が没収するかあるいは正しないとしたらあの継続的職業教育は阿呆らしい fact17: もしそのやんばる水鶏は吝いならば「あの大男は没収する」ということは事実である fact18: 仮にこの榾木用が旨いということはなくてしかも消化出来るということはないならばあの重位は最高機関でない fact19: もしあの重位が阿呆らしいとするとあの継続的職業教育は最高機関だ
fact1 & fact3 -> int1: そのやんばる水鶏は吝い; int1 & fact17 -> int2: あの大男は没収する; int2 -> int3: あの大男は没収するかもしくはそれは正しないかどちらもだ; int3 & fact16 -> int4: あの継続的職業教育は阿呆らしい; int4 -> int5: あの継続的職業教育は阿呆らしいかあるいはそれは真ん丸いかあるいは両方ともだ; int5 & fact10 -> int6: この榾木用は修理屋でない; fact6 -> int7: もし仮にこの榾木用が修理屋であるということはないとすると旨くないし更にそれは消化出来ない; int6 & int7 -> int8: この榾木用は旨くないしその上消化出来ない; int8 & fact18 -> hypothesis;
そのＲＣＭＰは旨い
fact20 -> int9: もし仮にそのやんばる水鶏が没収するということはないとしたらそれは旨いしその上吝い;
$facts$ = fact1: 「「輝かしいがしかし上屋でない」ということは事実と異なる」ものはある fact2: もし仮にあの継続的職業教育が真ん丸いならばあの榾木用は修理屋でない fact3: もし仮に「「輝かしいが上屋でない」ということは成り立たない」物があるならばあのやんばる水鶏は吝い fact4: もしもなにかは没収しないとすると旨いし更に吝い fact5: もしもこの榾木用は修理屋でないならば旨くない fact6: もし仮になにがしかの物が修理屋でないならそれは旨くないししかも消化出来ない fact7: もしなんらかのものが輝かしくないとしたらそのやんばる水鶏は吝い fact8: 「あの大男は正しない」ということは事実であるとしたらあの継続的職業教育は阿呆らしい fact9: あの大男は没収するかあるいは正し fact10: もしあの継続的職業教育が阿呆らしいかあるいは真ん丸いかあるいはどちらもならばあの榾木用は修理屋でない fact11: もし仮にこの榾木用が旨いけど消化出来ないとすればあの重位は最高機関でない fact12: 「輝かしくて上屋でない」ものはある fact13: あの継続的職業教育は消化出来ない fact14: もしこの榾木用が最高機関だということはないとしたらそれは修理屋でなくてその上旨くない fact15: 何らかの物は修理屋でないとしたら旨いということはない fact16: もしもあの大男が没収するかあるいは正しないとしたらあの継続的職業教育は阿呆らしい fact17: もしそのやんばる水鶏は吝いならば「あの大男は没収する」ということは事実である fact18: 仮にこの榾木用が旨いということはなくてしかも消化出来るということはないならばあの重位は最高機関でない fact19: もしあの重位が阿呆らしいとするとあの継続的職業教育は最高機関だ ; $hypothesis$ = 「あの重位は最高機関でない」ということは間違いでない ; $proof$ = 
fact1 & fact3 -> int1: そのやんばる水鶏は吝い; int1 & fact17 -> int2: あの大男は没収する; int2 -> int3: あの大男は没収するかもしくはそれは正しないかどちらもだ; int3 & fact16 -> int4: あの継続的職業教育は阿呆らしい; int4 -> int5: あの継続的職業教育は阿呆らしいかあるいはそれは真ん丸いかあるいは両方ともだ; int5 & fact10 -> int6: この榾木用は修理屋でない; fact6 -> int7: もし仮にこの榾木用が修理屋であるということはないとすると旨くないし更にそれは消化出来ない; int6 & int7 -> int8: この榾木用は旨くないしその上消化出来ない; int8 & fact18 -> hypothesis; __PROVED__
事実1: 「「輝かしいがしかし上屋でない」ということは事実と異なる」ものはある
事実2: もし仮にあの継続的職業教育が真ん丸いならばあの榾木用は修理屋でない
事実3: もし仮に「「輝かしいが上屋でない」ということは成り立たない」物があるならばあのやんばる水鶏は吝い
事実4: もしもなにかは没収しないとすると旨いし更に吝い
事実5: もしもこの榾木用は修理屋でないならば旨くない
事実6: もし仮になにがしかの物が修理屋でないならそれは旨くないししかも消化出来ない
事実7: もしなんらかのものが輝かしくないとしたらそのやんばる水鶏は吝い
事実8: 「あの大男は正しない」ということは事実であるとしたらあの継続的職業教育は阿呆らしい
事実9: あの大男は没収するかあるいは正し
事実10: もしあの継続的職業教育が阿呆らしいかあるいは真ん丸いかあるいはどちらもならばあの榾木用は修理屋でない
事実11: もし仮にこの榾木用が旨いけど消化出来ないとすればあの重位は最高機関でない
事実12: 「輝かしくて上屋でない」ものはある
事実13: あの継続的職業教育は消化出来ない
事実14: もしこの榾木用が最高機関だということはないとしたらそれは修理屋でなくてその上旨くない
事実15: 何らかの物は修理屋でないとしたら旨いということはない
事実16: もしもあの大男が没収するかあるいは正しないとしたらあの継続的職業教育は阿呆らしい
事実17: もしそのやんばる水鶏は吝いならば「あの大男は没収する」ということは事実である
事実18: 仮にこの榾木用が旨いということはなくてしかも消化出来るということはないならばあの重位は最高機関でない
事実19: もしあの重位が阿呆らしいとするとあの継続的職業教育は最高機関だ

仮説: 「あの重位は最高機関でない」ということは間違いでない
1. 事実1と事実3から、推論1: "そのやんばる水鶏は吝い"が導かれる
2. 推論1と事実17から、推論2: "あの大男は没収する"が導かれる
3. 推論2から、推論3: "あの大男は没収するかもしくはそれは正しないかどちらもだ"が導かれる
4. 推論3と事実16から、推論4: "あの継続的職業教育は阿呆らしい"が導かれる
5. 推論4から、推論5: "あの継続的職業教育は阿呆らしいかあるいはそれは真ん丸いかあるいは両方ともだ"が導かれる
6. 推論5と事実10から、推論6: "この榾木用は修理屋でない"が導かれる
7. 事実6から、推論7: "もし仮にこの榾木用が修理屋であるということはないとすると旨くないし更にそれは消化出来ない"が導かれる
8. 推論6と推論7から、推論8: "この榾木用は旨くないしその上消化出来ない"が導かれる
9. 推論8と事実18から、仮説が導かれる

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