このぷにゃぷいLv.49は書き易い
fact1: 「このぷにゃぷいLv.49はバランス良い」ということは確かだ fact2: 取り出し易いモンスターは書き易い fact3: 捨て難いかもしくは赤黒いかどちらもであるモンスターは取り出し易くない fact4: もしこのぷにゃぷいLv.49が取り出し易いかまたはバランス良いかまたはどちらもであるとすればこのぷにゃぷいLv.49は書き易くない
fact1 -> int1: このぷにゃぷいLv.49は取り出し易いかあるいはそれはバランス良い; int1 & fact4 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> hypothesis;
このぷにゃぷいLv.49は書き易い
fact5 -> int2: もしこのぷにゃぷいLv.49は取り出し易いとしたら「このぷにゃぷいLv.49は書き易い」ということは成り立つ;
$facts$ = fact1: 「このぷにゃぷいLv.49はバランス良い」ということは確かだ fact2: 取り出し易いモンスターは書き易い fact3: 捨て難いかもしくは赤黒いかどちらもであるモンスターは取り出し易くない fact4: もしこのぷにゃぷいLv.49が取り出し易いかまたはバランス良いかまたはどちらもであるとすればこのぷにゃぷいLv.49は書き易くない ; $hypothesis$ = このぷにゃぷいLv.49は書き易い ; $proof$ = 
fact1 -> int1: このぷにゃぷいLv.49は取り出し易いかあるいはそれはバランス良い; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> hypothesis; __DISPROVED__