そのみちゃみにゅLv.71は図々しくない
fact1: あのぴにゃぴえLv.94は堪り過ぎる fact2: もしもあのぴにゃぴえLv.94が何れするかもしくはそれが堪り過ぎればそのみちゃみにゅLv.71は図々しくない
fact1 -> int1: あのぴにゃぴえLv.94は何れするかまたは堪り過ぎる; int1 & fact2 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> hypothesis;
$facts$ = fact1: あのぴにゃぴえLv.94は堪り過ぎる fact2: もしもあのぴにゃぴえLv.94が何れするかもしくはそれが堪り過ぎればそのみちゃみにゅLv.71は図々しくない ; $hypothesis$ = そのみちゃみにゅLv.71は図々しくない ; $proof$ = 
fact1 -> int1: あのぴにゃぴえLv.94は何れするかまたは堪り過ぎる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> hypothesis; __PROVED__