「「仮に鎌倉時代でないならば「プレー出来ない」ということは確かである」物はある」ということは嘘でない
fact1: 何かは鎌倉時代でないならばプレー出来るということはない fact2: もし仮にあの次位が旨しないとするとそれは鎌倉時代だ fact3: もしもこの比重が燃え出さないとしたら鎌倉時代だ
fact1 -> int1: もしあの次位が鎌倉時代でないとすればプレー出来ない; int1 -> hypothesis;
$facts$ = fact1: 何かは鎌倉時代でないならばプレー出来るということはない fact2: もし仮にあの次位が旨しないとするとそれは鎌倉時代だ fact3: もしもこの比重が燃え出さないとしたら鎌倉時代だ ; $hypothesis$ = 「「仮に鎌倉時代でないならば「プレー出来ない」ということは確かである」物はある」ということは嘘でない ; $proof$ = 
fact1 -> int1: もしあの次位が鎌倉時代でないとすればプレー出来ない; int1 -> hypothesis; __PROVED__
事実1: 何かは鎌倉時代でないならばプレー出来るということはない
事実2: もし仮にあの次位が旨しないとするとそれは鎌倉時代だ
事実3: もしもこの比重が燃え出さないとしたら鎌倉時代だ

仮説: 「「仮に鎌倉時代でないならば「プレー出来ない」ということは確かである」物はある」ということは嘘でない
1. 事実1から、推論1: "もしあの次位が鎌倉時代でないとすればプレー出来ない"が導かれる
2. 推論1から、仮説が導かれる

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