このまちゃまのLv.64は物々しい
fact1: あのもわもえLv.49は絞扼するしその上憂い fact2: あのもわもえLv.49が絞扼すればこのまちゃまのLv.64は物々しい
fact1 -> int1: あのもわもえLv.49は絞扼する; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: あのもわもえLv.49は絞扼するしその上憂い fact2: あのもわもえLv.49が絞扼すればこのまちゃまのLv.64は物々しい ; $hypothesis$ = このまちゃまのLv.64は物々しい ; $proof$ = 
fact1 -> int1: あのもわもえLv.49は絞扼する; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__