あのまにょまにゅLv.97は侘しいし更にそれは被る
fact1: あのまにょまにゅLv.97は侘しい fact2: そのもちょもにゅLv.99は侘しいしまた説明し易い fact3: あのまにょまにゅLv.97は痛い fact4: もし仮に「あのまにょまにゅLv.97は免れ難い」ということは成り立つなら「被る」ということは正しい fact5: あのまにょまにゅLv.97は免れ難い fact6: あのまにょまにゅLv.97は真っ暗い fact7: もしもあのまにょまにゅLv.97が真っ暗いならばあのまにょまにゅLv.97は結合し易いかもしくは再読しないか両方である
fact4 & fact5 -> int1: あのまにょまにゅLv.97は被る; int1 & fact1 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
あのまにまにゅLv.80は侘しい
fact9 & fact8 -> int2: あのまにょまにゅLv.97は結合し易いかもしくは再読しないかもしくは両方ともだ;
$facts$ = fact1: あのまにょまにゅLv.97は侘しい fact2: そのもちょもにゅLv.99は侘しいしまた説明し易い fact3: あのまにょまにゅLv.97は痛い fact4: もし仮に「あのまにょまにゅLv.97は免れ難い」ということは成り立つなら「被る」ということは正しい fact5: あのまにょまにゅLv.97は免れ難い fact6: あのまにょまにゅLv.97は真っ暗い fact7: もしもあのまにょまにゅLv.97が真っ暗いならばあのまにょまにゅLv.97は結合し易いかもしくは再読しないか両方である ; $hypothesis$ = あのまにょまにゅLv.97は侘しいし更にそれは被る ; $proof$ = 
fact4 & fact5 -> int1: あのまにょまにゅLv.97は被る; int1 & fact1 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__