このみちゃみにゃLv.96は騒がしい
fact1: このみちゅみのLv.90は御答えするとすると「このみちゃみにゃLv.96は騒がしい」ということは真実だ fact2: このみちゃみにゃLv.96が忍耐強いとすればこのみちゅみのLv.90は騒がしい fact3: このみちゃみにゃLv.96は忍耐強い fact4: このみちゃみにゃLv.96は御答えする fact5: このみちゅみのLv.90は御答えするしそれに忍耐強い fact6: このみちゅみのLv.90は言い辛い fact7: このみちゅみのLv.90は騒がしい
fact5 -> int1: このみちゅみのLv.90は御答えする; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: このみちゅみのLv.90は御答えするとすると「このみちゃみにゃLv.96は騒がしい」ということは真実だ fact2: このみちゃみにゃLv.96が忍耐強いとすればこのみちゅみのLv.90は騒がしい fact3: このみちゃみにゃLv.96は忍耐強い fact4: このみちゃみにゃLv.96は御答えする fact5: このみちゅみのLv.90は御答えするしそれに忍耐強い fact6: このみちゅみのLv.90は言い辛い fact7: このみちゅみのLv.90は騒がしい ; $hypothesis$ = このみちゃみにゃLv.96は騒がしい ; $proof$ = 
fact5 -> int1: このみちゅみのLv.90は御答えする; int1 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__