この寿命は独り占めする
fact1: もしこの崩れが閉じ合わせらないとすればそれは赤い一方で成り済まさない fact2: もし仮になんらかのものが赤いなら成り済ます fact3: もし仮になんらかの物は成り済ますなら「「否決しないかもしくは言い通すということはないか両方である」ということは事実だ」ということは成り立たない fact4: この寿命は言い通す fact5: その王自身は言い通す fact6: もしもこの寿命が言い通すとすれば独り占めする fact7: もし仮になにかは否決しないとすれば独り占めしないしおまけにそれは言い通す fact8: そのブーブは言い通す
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
この寿命は独り占めしない
fact10 -> int1: もし仮にこの寿命が否決しないなら独り占めしないが言い通す;
$facts$ = fact1: もしこの崩れが閉じ合わせらないとすればそれは赤い一方で成り済まさない fact2: もし仮になんらかのものが赤いなら成り済ます fact3: もし仮になんらかの物は成り済ますなら「「否決しないかもしくは言い通すということはないか両方である」ということは事実だ」ということは成り立たない fact4: この寿命は言い通す fact5: その王自身は言い通す fact6: もしもこの寿命が言い通すとすれば独り占めする fact7: もし仮になにかは否決しないとすれば独り占めしないしおまけにそれは言い通す fact8: そのブーブは言い通す ; $hypothesis$ = この寿命は独り占めする ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: もしこの崩れが閉じ合わせらないとすればそれは赤い一方で成り済まさない
事実2: もし仮になんらかのものが赤いなら成り済ます
事実3: もし仮になんらかの物は成り済ますなら「「否決しないかもしくは言い通すということはないか両方である」ということは事実だ」ということは成り立たない
事実4: この寿命は言い通す
事実5: その王自身は言い通す
事実6: もしもこの寿命が言い通すとすれば独り占めする
事実7: もし仮になにかは否決しないとすれば独り占めしないしおまけにそれは言い通す
事実8: そのブーブは言い通す

仮説: この寿命は独り占めする
1. 事実6と事実4から、仮説が導かれる

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