このまいまのLv.56は少なし
fact1: もしこのもちゃものLv.9が選択され易いとすればそれは想像し易くない fact2: 「このもちゃものLv.9は想像し易い」ということは偽でない fact3: もし仮にこのもちゃものLv.9が選択され易くないとしたらこのまいまのLv.56は少なしない fact4: もし仮に「このもちゃものLv.9は想像し易い一方で選択され易くない」ということは誤っていないとすればこのまいまのLv.56は想像し易い
void -> assump1: 以下のように仮定する。このもちゃものLv.9は選択され易い; fact1 & assump1 -> int1: このもちゃものLv.9は想像し易くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このもちゃものLv.9は選択され易いということはない; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
「このまいまのLv.56は想像し易い」ということは事実である
$facts$ = fact1: もしこのもちゃものLv.9が選択され易いとすればそれは想像し易くない fact2: 「このもちゃものLv.9は想像し易い」ということは偽でない fact3: もし仮にこのもちゃものLv.9が選択され易くないとしたらこのまいまのLv.56は少なしない fact4: もし仮に「このもちゃものLv.9は想像し易い一方で選択され易くない」ということは誤っていないとすればこのまいまのLv.56は想像し易い ; $hypothesis$ = このまいまのLv.56は少なし ; $proof$ = 
void -> assump1: 以下のように仮定する。このもちゃものLv.9は選択され易い; fact1 & assump1 -> int1: このもちゃものLv.9は想像し易くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このもちゃものLv.9は選択され易いということはない; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __DISPROVED__