the trainbearer steamers.
sent1: the dungeon gnaws and it jigs. sent2: the dungeon is not altricial. sent3: if the dungeon is a mainstreamed the trainbearer does not lean hypocellularity. sent4: the refiner is not a kind of a folktale if it does not blind CDC and it does not lean disownment. sent5: if something is not altricial it is a folktale. sent6: the decadent is a kind of a folktale. sent7: if the dungeon is a kind of a folktale then the trainbearer is not a kind of a Platymiscium. sent8: the trainbearer is not a folktale. sent9: the trainbearer is a kind of a steamer and does lean hypocellularity if it is not a kind of a stiletto. sent10: if the trainbearer is not a Platymiscium and is not a kind of a mainstreamed then it is not a stiletto. sent11: the trainbearer is not a mainstreamed. sent12: the dungeon does not steamer. sent13: something is a kind of a crocodile if it does not repot Jacobs.
sent5 -> int1: the dungeon is a folktale if it is not altricial.; int1 & sent2 -> int2: the dungeon is a folktale.; int2 & sent7 -> int3: the trainbearer is not a Platymiscium.; int3 & sent11 -> int4: the trainbearer is not a kind of a Platymiscium and it is not a mainstreamed.; int4 & sent10 -> int5: the trainbearer is not a kind of a stiletto.; int5 & sent9 -> int6: the trainbearer is a steamer and it does lean hypocellularity.; int6 -> hypothesis;
$hypothesis$ = the trainbearer steamers. ; $context$ = sent1: the dungeon gnaws and it jigs. sent2: the dungeon is not altricial. sent3: if the dungeon is a mainstreamed the trainbearer does not lean hypocellularity. sent4: the refiner is not a kind of a folktale if it does not blind CDC and it does not lean disownment. sent5: if something is not altricial it is a folktale. sent6: the decadent is a kind of a folktale. sent7: if the dungeon is a kind of a folktale then the trainbearer is not a kind of a Platymiscium. sent8: the trainbearer is not a folktale. sent9: the trainbearer is a kind of a steamer and does lean hypocellularity if it is not a kind of a stiletto. sent10: if the trainbearer is not a Platymiscium and is not a kind of a mainstreamed then it is not a stiletto. sent11: the trainbearer is not a mainstreamed. sent12: the dungeon does not steamer. sent13: something is a kind of a crocodile if it does not repot Jacobs. ; $proof$ = 
sent5 -> int1: the dungeon is a folktale if it is not altricial.; int1 & sent2 -> int2: the dungeon is a folktale.; int2 & sent7 -> int3: the trainbearer is not a Platymiscium.; int3 & sent11 -> int4: the trainbearer is not a kind of a Platymiscium and it is not a mainstreamed.; int4 & sent10 -> int5: the trainbearer is not a kind of a stiletto.; int5 & sent9 -> int6: the trainbearer is a steamer and it does lean hypocellularity.; int6 -> hypothesis; __PROVED__