このもなもにゃLv.84は精進すらない
fact1: もしあのみゆみくLv.52が心苦しいならばこのもなもにゃLv.84は精進す fact2: あのみゆみくLv.52は心苦しくてそれは木らしい
fact2 -> int1: あのみゆみくLv.52は心苦しい; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしあのみゆみくLv.52が心苦しいならばこのもなもにゃLv.84は精進す fact2: あのみゆみくLv.52は心苦しくてそれは木らしい ; $hypothesis$ = このもなもにゃLv.84は精進すらない ; $proof$ = 
fact2 -> int1: あのみゆみくLv.52は心苦しい; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__