このぷわぷちゃLv.22は覚え難くない
fact1: もしこのぷわぷちゃLv.22は出易いとすれば「それは覚え難い」ということは成り立つ fact2: どうしても欲しいということはないモンスターは出易いししかも覚え難い fact3: もし仮にこのぷわぷちゃLv.22が四等分するけどそれが香ばしいということはないならばこのぽちゃぽのLv.29はどうしても欲しいということはない fact4: このぷわぷちゃLv.22は出易い
fact4 -> int1: このぷわぷちゃLv.22は出易い; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
「このぽちゃぽのLv.29は覚え難い」ということは成り立つ
fact5 -> int2: もしこのぽちゃぽのLv.29がどうしても欲しいということはないとしたら出易いしそれは覚え難い;
$facts$ = fact1: もしこのぷわぷちゃLv.22は出易いとすれば「それは覚え難い」ということは成り立つ fact2: どうしても欲しいということはないモンスターは出易いししかも覚え難い fact3: もし仮にこのぷわぷちゃLv.22が四等分するけどそれが香ばしいということはないならばこのぽちゃぽのLv.29はどうしても欲しいということはない fact4: このぷわぷちゃLv.22は出易い ; $hypothesis$ = このぷわぷちゃLv.22は覚え難くない ; $proof$ = 
fact4 -> int1: このぷわぷちゃLv.22は出易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__