このみわみちゅLv.17は打ち易くて加えてそれは凄い
fact1: このみわみちゅLv.17はうら若い fact2: もし仮に「あのみわみちょLv.79は熱し易い」ということは本当であるならこのみわみちゅLv.17は打ち易い fact3: そのぴいぴえLv.18は成し難いしそれは懐っこい fact4: あのみわみちょLv.79はうら若い fact5: 「このみわみちゅLv.17は凄い」ということは正しい fact6: そのぽのぽくLv.90は打ち易い fact7: あのみわみちょLv.79は熱し易いしうら若い
fact7 -> int1: あのみわみちょLv.79は熱し易い; int1 & fact2 -> int2: このみわみちゅLv.17は打ち易い; int2 & fact5 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
$facts$ = fact1: このみわみちゅLv.17はうら若い fact2: もし仮に「あのみわみちょLv.79は熱し易い」ということは本当であるならこのみわみちゅLv.17は打ち易い fact3: そのぴいぴえLv.18は成し難いしそれは懐っこい fact4: あのみわみちょLv.79はうら若い fact5: 「このみわみちゅLv.17は凄い」ということは正しい fact6: そのぽのぽくLv.90は打ち易い fact7: あのみわみちょLv.79は熱し易いしうら若い ; $hypothesis$ = このみわみちゅLv.17は打ち易くて加えてそれは凄い ; $proof$ = 
fact7 -> int1: あのみわみちょLv.79は熱し易い; int1 & fact2 -> int2: このみわみちゅLv.17は打ち易い; int2 & fact5 -> hypothesis; __PROVED__
fact7 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __PROVED__