この本舞台は駆ける
fact1: もし仮にある物はやごでないなら駆けるし砕け易い fact2: なんらかの物がうろ覚えであるかまたは不動産事業でないかもしくは両方であるとすればうろ覚えだ fact3: この本舞台は過去最高だ fact4: もし仮になにかは砕け易いとしたら駆けない fact5: もし仮にこの本舞台がうろ覚えであるとするとその市場占有率は息衝くけれどそれは嬉しくない fact6: 「この本舞台は駆ける」ということは本当だ fact7: もし何かは息衝く一方で嬉しいということはないとするとそれはやごでない fact8: 「この十年計画は駆ける」ということは本当だ fact9: あの不入りは駆ける
fact6 -> hypothesis;
fact6 -> hypothesis;
この本舞台は駆けない
fact10 -> int1: もしもこの本舞台が砕け易いならそれは駆けない;
$facts$ = fact1: もし仮にある物はやごでないなら駆けるし砕け易い fact2: なんらかの物がうろ覚えであるかまたは不動産事業でないかもしくは両方であるとすればうろ覚えだ fact3: この本舞台は過去最高だ fact4: もし仮になにかは砕け易いとしたら駆けない fact5: もし仮にこの本舞台がうろ覚えであるとするとその市場占有率は息衝くけれどそれは嬉しくない fact6: 「この本舞台は駆ける」ということは本当だ fact7: もし何かは息衝く一方で嬉しいということはないとするとそれはやごでない fact8: 「この十年計画は駆ける」ということは本当だ fact9: あの不入りは駆ける ; $hypothesis$ = この本舞台は駆ける ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もし仮にある物はやごでないなら駆けるし砕け易い
事実2: なんらかの物がうろ覚えであるかまたは不動産事業でないかもしくは両方であるとすればうろ覚えだ
事実3: この本舞台は過去最高だ
事実4: もし仮になにかは砕け易いとしたら駆けない
事実5: もし仮にこの本舞台がうろ覚えであるとするとその市場占有率は息衝くけれどそれは嬉しくない
事実6: 「この本舞台は駆ける」ということは本当だ
事実7: もし何かは息衝く一方で嬉しいということはないとするとそれはやごでない
事実8: 「この十年計画は駆ける」ということは本当だ
事実9: あの不入りは駆ける

仮説: この本舞台は駆ける
1. 事実6から、仮説が導かれる

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