そのぴちゃぴよLv.7は入店する
fact1: そのぴちゃぴよLv.7は禍々しいしみみっちい fact2: もしそのぴちゃぴよLv.7が誇らしいならばそのぴちゃぴよLv.7は入店する fact3: もしそのぴちゃぴよLv.7が禍々しいとしたらそのぴちゃぴよLv.7は誇らしい
fact1 -> int1: そのぴちゃぴよLv.7は禍々しい; int1 & fact3 -> int2: そのぴちゃぴよLv.7は誇らしい; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: そのぴちゃぴよLv.7は禍々しいしみみっちい fact2: もしそのぴちゃぴよLv.7が誇らしいならばそのぴちゃぴよLv.7は入店する fact3: もしそのぴちゃぴよLv.7が禍々しいとしたらそのぴちゃぴよLv.7は誇らしい ; $hypothesis$ = そのぴちゃぴよLv.7は入店する ; $proof$ = 
fact1 -> int1: そのぴちゃぴよLv.7は禍々しい; int1 & fact3 -> int2: そのぴちゃぴよLv.7は誇らしい; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __PROVED__