あのもやもちゃLv.53はプレーする
fact1: もしあのみにみよLv.40が好ましいとしたらあのもやもちゃLv.53は好ましい fact2: あのみにみよLv.40は名高い fact3: あのみにみよLv.40が名高いしそれが傷付け易いとすればあのもやもちゃLv.53はプレーしない fact4: なんらかのモンスターが取得し易いならばそれはプレーする fact5: あのみにみよLv.40は取得し易い fact6: 仮になんらかのモンスターは名高いということはないかあるいは与え易くないかまたはどちらもであるとしたら「それは名高くない」ということは確かだ fact7: 名高くないモンスターは取得し易くて傷付け易い fact8: とあるモンスターが好ましいならば名高くないかもしくは与え易くない fact9: 仮にあのみにみよLv.40が取得し易いならあのみにみよLv.40は傷付け易い
fact9 & fact5 -> int1: あのみにみよLv.40は傷付け易い; int1 & fact2 -> int2: 「あのみにみよLv.40は名高いし傷付け易い」ということは成り立つ; int2 & fact3 -> hypothesis;
fact9 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & {B}{a}); int2 & fact3 -> hypothesis;
あのもやもちゃLv.53はプレーする
fact10 -> int3: もしもあのもやもちゃLv.53が取得し易いならあのもやもちゃLv.53はプレーする; fact11 -> int4: もし仮にあのもやもちゃLv.53が名高いということはないならば取得し易いししかもそれは傷付け易い; fact14 -> int5: もし仮にあのもやもちゃLv.53が名高いということはないかもしくはそれが与え易くないとしたら名高いということはない; fact13 -> int6: もし仮にあのもやもちゃLv.53が好ましいとすればあのもやもちゃLv.53は名高くないか与え易くないかまたは両方ともである;
$facts$ = fact1: もしあのみにみよLv.40が好ましいとしたらあのもやもちゃLv.53は好ましい fact2: あのみにみよLv.40は名高い fact3: あのみにみよLv.40が名高いしそれが傷付け易いとすればあのもやもちゃLv.53はプレーしない fact4: なんらかのモンスターが取得し易いならばそれはプレーする fact5: あのみにみよLv.40は取得し易い fact6: 仮になんらかのモンスターは名高いということはないかあるいは与え易くないかまたはどちらもであるとしたら「それは名高くない」ということは確かだ fact7: 名高くないモンスターは取得し易くて傷付け易い fact8: とあるモンスターが好ましいならば名高くないかもしくは与え易くない fact9: 仮にあのみにみよLv.40が取得し易いならあのみにみよLv.40は傷付け易い ; $hypothesis$ = あのもやもちゃLv.53はプレーする ; $proof$ = 
fact9 & fact5 -> int1: あのみにみよLv.40は傷付け易い; int1 & fact2 -> int2: 「あのみにみよLv.40は名高いし傷付け易い」ということは成り立つ; int2 & fact3 -> hypothesis; __DISPROVED__
fact9 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & {B}{a}); int2 & fact3 -> hypothesis; __DISPROVED__