「この女主は県産材だ」ということは正しい
fact1: このハポは大騒ぎするとすると「エクセルでなくてかつそれは励めるということはない」ということは事実と異なる fact2: 仮に「励めるない」物はあれば「この女主は県産材である」ということは事実である fact3: もし「燃え易くない」ものがあればこの女主は励める fact4: なんらかのものは励めるない fact5: 「この女主は彼形だ」ということは偽でない fact6: もしなにかはＣＶＣでないならこの女主は網掛けする fact7: 「励める」物はある fact8: なにがしかの物が県産材でないとすればあのボウラーはトップする fact9: あの殉職は生臭いしそれに育成期だ fact10: 「県産材でない」ものがあるとしたらあの起源論は望み得る
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
この女主は県産材でない
fact11 -> int1: 「あの殉職は生臭い」ということは真実である;
$facts$ = fact1: このハポは大騒ぎするとすると「エクセルでなくてかつそれは励めるということはない」ということは事実と異なる fact2: 仮に「励めるない」物はあれば「この女主は県産材である」ということは事実である fact3: もし「燃え易くない」ものがあればこの女主は励める fact4: なんらかのものは励めるない fact5: 「この女主は彼形だ」ということは偽でない fact6: もしなにかはＣＶＣでないならこの女主は網掛けする fact7: 「励める」物はある fact8: なにがしかの物が県産材でないとすればあのボウラーはトップする fact9: あの殉職は生臭いしそれに育成期だ fact10: 「県産材でない」ものがあるとしたらあの起源論は望み得る ; $hypothesis$ = 「この女主は県産材だ」ということは正しい ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: このハポは大騒ぎするとすると「エクセルでなくてかつそれは励めるということはない」ということは事実と異なる
事実2: 仮に「励めるない」物はあれば「この女主は県産材である」ということは事実である
事実3: もし「燃え易くない」ものがあればこの女主は励める
事実4: なんらかのものは励めるない
事実5: 「この女主は彼形だ」ということは偽でない
事実6: もしなにかはＣＶＣでないならこの女主は網掛けする
事実7: 「励める」物はある
事実8: なにがしかの物が県産材でないとすればあのボウラーはトップする
事実9: あの殉職は生臭いしそれに育成期だ
事実10: 「県産材でない」ものがあるとしたらあの起源論は望み得る

仮説: 「この女主は県産材だ」ということは正しい
1. 事実4と事実2から、仮説が導かれる

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