そのみにゅみくLv.1はしつっこい
fact1: もし仮にそのみにゅみくLv.1が青白いならばそれはしつっこい fact2: もしもあのぴにょぴなLv.61が受け継げばそれはど偉い fact3: あのぴにょぴなLv.61がど偉いならばそのみにゅみくLv.1は青白い fact4: 仮に揮発し易くないモンスターはしつっこくないとするとど偉くない fact5: もし仮に「何らかのモンスターはど偉くないけれど受け継ぐ」ということは事実と異なるとすればそれはしつっこくない fact6: あのぴにょぴなLv.61は受け継ぐ
fact2 & fact6 -> int1: あのぴにょぴなLv.61はど偉い; int1 & fact3 -> int2: そのみにゅみくLv.1は青白い; int2 & fact1 -> hypothesis;
fact2 & fact6 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
あのもえもゆLv.53は青白い
fact7 -> int3: 仮にあのもえもゆLv.53が揮発し易くなくて更にそれはしつっこくないとしたらど偉くない;
$facts$ = fact1: もし仮にそのみにゅみくLv.1が青白いならばそれはしつっこい fact2: もしもあのぴにょぴなLv.61が受け継げばそれはど偉い fact3: あのぴにょぴなLv.61がど偉いならばそのみにゅみくLv.1は青白い fact4: 仮に揮発し易くないモンスターはしつっこくないとするとど偉くない fact5: もし仮に「何らかのモンスターはど偉くないけれど受け継ぐ」ということは事実と異なるとすればそれはしつっこくない fact6: あのぴにょぴなLv.61は受け継ぐ ; $hypothesis$ = そのみにゅみくLv.1はしつっこい ; $proof$ = 
fact2 & fact6 -> int1: あのぴにょぴなLv.61はど偉い; int1 & fact3 -> int2: そのみにゅみくLv.1は青白い; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__