この勝ち数は明ける
fact1: もし「ある物は頑是無いかあるいは浮き易いかまたは両方である」ということは成り立たないとするとそれは明けない fact2: この勝ち数は気付き難くない fact3: もしこの都合が明ければこの勝ち数は明けるけれど気付き難くない fact4: あの境界地域が浮き易いならばこの都合は明ける fact5: この勝ち数は明けるかまたはそれは頑是無いかもしくはどちらもだ fact6: この三時前は明けるがしかしそれは睨み合わない fact7: もしあの境界地域が頑是無いとするとこの都合は明ける fact8: あの境界地域は浮き易いかもしくは頑是無い fact9: その独自商品は明ける fact10: もし仮になにがしかの物が気付き難いとするとそれは話し合わない fact11: もし仮にあの境界地域は話し合わないなら「「この勝ち数は頑是無いかもしくは浮き易いかもしくはどちらもである」ということは確かである」ということは成り立たない
fact8 & fact4 & fact7 -> int1: この都合は明ける; int1 & fact3 -> int2: この勝ち数は明ける一方で気付き難くない; int2 -> hypothesis;
fact8 & fact4 & fact7 -> int1: {C}{c}; int1 & fact3 -> int2: ({C}{b} & ¬{E}{b}); int2 -> hypothesis;
この勝ち数は明けない
fact12 -> int3: 「この勝ち数は頑是無いかあるいはそれは浮き易いかあるいはどちらもである」ということは成り立たないならば明けない; fact14 -> int4: もし仮に「あの境界地域は気付き難い」ということは成り立つとすればそれは話し合わない;
$facts$ = fact1: もし「ある物は頑是無いかあるいは浮き易いかまたは両方である」ということは成り立たないとするとそれは明けない fact2: この勝ち数は気付き難くない fact3: もしこの都合が明ければこの勝ち数は明けるけれど気付き難くない fact4: あの境界地域が浮き易いならばこの都合は明ける fact5: この勝ち数は明けるかまたはそれは頑是無いかもしくはどちらもだ fact6: この三時前は明けるがしかしそれは睨み合わない fact7: もしあの境界地域が頑是無いとするとこの都合は明ける fact8: あの境界地域は浮き易いかもしくは頑是無い fact9: その独自商品は明ける fact10: もし仮になにがしかの物が気付き難いとするとそれは話し合わない fact11: もし仮にあの境界地域は話し合わないなら「「この勝ち数は頑是無いかもしくは浮き易いかもしくはどちらもである」ということは確かである」ということは成り立たない ; $hypothesis$ = この勝ち数は明ける ; $proof$ = 
fact8 & fact4 & fact7 -> int1: この都合は明ける; int1 & fact3 -> int2: この勝ち数は明ける一方で気付き難くない; int2 -> hypothesis; __PROVED__
事実1: もし「ある物は頑是無いかあるいは浮き易いかまたは両方である」ということは成り立たないとするとそれは明けない
事実2: この勝ち数は気付き難くない
事実3: もしこの都合が明ければこの勝ち数は明けるけれど気付き難くない
事実4: あの境界地域が浮き易いならばこの都合は明ける
事実5: この勝ち数は明けるかまたはそれは頑是無いかもしくはどちらもだ
事実6: この三時前は明けるがしかしそれは睨み合わない
事実7: もしあの境界地域が頑是無いとするとこの都合は明ける
事実8: あの境界地域は浮き易いかもしくは頑是無い
事実9: その独自商品は明ける
事実10: もし仮になにがしかの物が気付き難いとするとそれは話し合わない
事実11: もし仮にあの境界地域は話し合わないなら「「この勝ち数は頑是無いかもしくは浮き易いかもしくはどちらもである」ということは確かである」ということは成り立たない

仮説: この勝ち数は明ける
1. 事実8と事実4と事実7から、推論1: "この都合は明ける"が導かれる
2. 推論1と事実3から、推論2: "この勝ち数は明ける一方で気付き難くない"が導かれる
3. 推論2から、仮説が導かれる

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