このぴよぴよLv.30は幼けない
fact1: このぴよぴよLv.30は御美しくておまけに狭苦しい fact2: 仮にこのぴよぴよLv.30が御美しいとすればこのぴよぴよLv.30は幼けない
fact1 -> int1: このぴよぴよLv.30は御美しい; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このぴよぴよLv.30は御美しくておまけに狭苦しい fact2: 仮にこのぴよぴよLv.30が御美しいとすればこのぴよぴよLv.30は幼けない ; $hypothesis$ = このぴよぴよLv.30は幼けない ; $proof$ = 
fact1 -> int1: このぴよぴよLv.30は御美しい; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__