あのみにゅみなLv.34は根気良くない
fact1: 「あのみにゅみなLv.34は暗い」ということは正しい fact2: あのみにゅみなLv.34は出し易くておまけにけばけばしい fact3: あのみにゅみなLv.34が暗くて更にそれがけばけばしいならあのみにゅみなLv.34は根気良くない
fact2 -> int1: あのみにゅみなLv.34はけばけばしい; int1 & fact1 -> int2: あのみにゅみなLv.34は暗くてそれにそれはけばけばしい; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 「あのみにゅみなLv.34は暗い」ということは正しい fact2: あのみにゅみなLv.34は出し易くておまけにけばけばしい fact3: あのみにゅみなLv.34が暗くて更にそれがけばけばしいならあのみにゅみなLv.34は根気良くない ; $hypothesis$ = あのみにゅみなLv.34は根気良くない ; $proof$ = 
fact2 -> int1: あのみにゅみなLv.34はけばけばしい; int1 & fact1 -> int2: あのみにゅみなLv.34は暗くてそれにそれはけばけばしい; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact3 -> hypothesis; __PROVED__