あのぴちょぴちゃLv.68は身悶える
fact1: あのぴえぴにゃLv.82は勝ち易い fact2: すべてのモンスターは勝ち易いしまた差し出がましい fact3: 「差し出がましい」モンスターがいればあのぴちょぴちゃLv.68は身悶える
fact2 -> int1: あのぴえぴにゃLv.82は勝ち易いし更に差し出がましい; int1 -> int2: あのぴえぴにゃLv.82は差し出がましい; int2 -> int3: 「差し出がましい」モンスターはいる; int3 & fact3 -> hypothesis;
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: (Ex): {B}x; int3 & fact3 -> hypothesis;
$facts$ = fact1: あのぴえぴにゃLv.82は勝ち易い fact2: すべてのモンスターは勝ち易いしまた差し出がましい fact3: 「差し出がましい」モンスターがいればあのぴちょぴちゃLv.68は身悶える ; $hypothesis$ = あのぴちょぴちゃLv.68は身悶える ; $proof$ = 
fact2 -> int1: あのぴえぴにゃLv.82は勝ち易いし更に差し出がましい; int1 -> int2: あのぴえぴにゃLv.82は差し出がましい; int2 -> int3: 「差し出がましい」モンスターはいる; int3 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: (Ex): {B}x; int3 & fact3 -> hypothesis; __PROVED__