あのぴちゃぴちゃLv.56は抜け易いかまたはそれは対応し易い
fact1: このもにもにゅLv.75は上げ易い fact2: どす黒くないモンスターは対応し易い fact3: あのぴちゃぴちゃLv.56が愛しいならそれはどす黒い fact4: あのぴちゃぴちゃLv.56は上げ易いかもしくはどす黒くないかあるいは両方ともだ fact5: なにがしかのモンスターが上げ易いとすれば制定する fact6: もしもあのぴちゃぴちゃLv.56が上げ易いとしたらあのぴちゃぴちゃLv.56は対応し易い fact7: もし仮にそのぴちゅぴやLv.92が対応し易くないとするとこのぷちょぷのLv.77は上げ易くてどす黒い
fact2 -> int1: もし仮にあのぴちゃぴちゃLv.56がどす黒くないとするとあのぴちゃぴちゃLv.56は対応し易い; int1 & fact4 & fact6 -> int2: あのぴちゃぴちゃLv.56は対応し易い; int2 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact4 & fact6 -> int2: {C}{aa}; int2 -> hypothesis;
このぷちょぷのLv.77は制定するかもしくは平べったいか両方ともだ
fact9 -> int3: 仮にこのぷちょぷのLv.77が上げ易いとするとこのぷちょぷのLv.77は制定する;
$facts$ = fact1: このもにもにゅLv.75は上げ易い fact2: どす黒くないモンスターは対応し易い fact3: あのぴちゃぴちゃLv.56が愛しいならそれはどす黒い fact4: あのぴちゃぴちゃLv.56は上げ易いかもしくはどす黒くないかあるいは両方ともだ fact5: なにがしかのモンスターが上げ易いとすれば制定する fact6: もしもあのぴちゃぴちゃLv.56が上げ易いとしたらあのぴちゃぴちゃLv.56は対応し易い fact7: もし仮にそのぴちゅぴやLv.92が対応し易くないとするとこのぷちょぷのLv.77は上げ易くてどす黒い ; $hypothesis$ = あのぴちゃぴちゃLv.56は抜け易いかまたはそれは対応し易い ; $proof$ = 
fact2 -> int1: もし仮にあのぴちゃぴちゃLv.56がどす黒くないとするとあのぴちゃぴちゃLv.56は対応し易い; int1 & fact4 & fact6 -> int2: あのぴちゃぴちゃLv.56は対応し易い; int2 -> hypothesis; __PROVED__
fact2 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact4 & fact6 -> int2: {C}{aa}; int2 -> hypothesis; __PROVED__