the plantigrade is a kind of a portage.
sent1: the MP is a kind of a hookworm. sent2: the perchlorate is priestly. sent3: if something is a hookworm that is a portage the plantigrade is mesomorphic. sent4: if the slit does not inflate scolopendrium that it is not Tuscan and is coherent is not correct. sent5: the armyworm inflates scolopendrium if the fact that that the hobbyist does not inflates scolopendrium but it samples depravity is right is not correct. sent6: there are mesomorphic things. sent7: there is something such that it is a hookworm and it is a portage. sent8: if the fact that something is not a Tuscan but it is not incoherent is not right then it is not incoherent. sent9: there exists something such that it is a kind of a hookworm. sent10: the MP does sample compatriot and is mesomorphic. sent11: if something is mesomorphic and it is a hookworm the plantigrade is a portage. sent12: a polite thing is a kind of a hookworm that is not non-mesomorphic. sent13: if the armyworm inflates scolopendrium then the slit does not inflates scolopendrium. sent14: that the hobbyist does not inflate scolopendrium but it does sample depravity does not hold if it is organismal. sent15: the fact that something does not sample Vali and is impolite is wrong if it is nonspecific. sent16: the schoolmaster is not mesomorphic if the octant is both a hookworm and mesomorphic. sent17: the hobbyist is organismal. sent18: the MP samples compatriot if the schoolmaster is not mesomorphic. sent19: the MP does sample compatriot. sent20: the stole is nonspecific thing that does cloud mimeograph if the slit is not coherent.
sent10 -> int1: the MP is mesomorphic.; int1 & sent1 -> int2: the MP is both mesomorphic and a hookworm.; int2 -> int3: there exists something such that it is mesomorphic and is a hookworm.; int3 & sent11 -> hypothesis;
the perchlorate is priestly and it is a kind of a blackboard.
$hypothesis$ = the plantigrade is a kind of a portage. ; $context$ = sent1: the MP is a kind of a hookworm. sent2: the perchlorate is priestly. sent3: if something is a hookworm that is a portage the plantigrade is mesomorphic. sent4: if the slit does not inflate scolopendrium that it is not Tuscan and is coherent is not correct. sent5: the armyworm inflates scolopendrium if the fact that that the hobbyist does not inflates scolopendrium but it samples depravity is right is not correct. sent6: there are mesomorphic things. sent7: there is something such that it is a hookworm and it is a portage. sent8: if the fact that something is not a Tuscan but it is not incoherent is not right then it is not incoherent. sent9: there exists something such that it is a kind of a hookworm. sent10: the MP does sample compatriot and is mesomorphic. sent11: if something is mesomorphic and it is a hookworm the plantigrade is a portage. sent12: a polite thing is a kind of a hookworm that is not non-mesomorphic. sent13: if the armyworm inflates scolopendrium then the slit does not inflates scolopendrium. sent14: that the hobbyist does not inflate scolopendrium but it does sample depravity does not hold if it is organismal. sent15: the fact that something does not sample Vali and is impolite is wrong if it is nonspecific. sent16: the schoolmaster is not mesomorphic if the octant is both a hookworm and mesomorphic. sent17: the hobbyist is organismal. sent18: the MP samples compatriot if the schoolmaster is not mesomorphic. sent19: the MP does sample compatriot. sent20: the stole is nonspecific thing that does cloud mimeograph if the slit is not coherent. ; $proof$ = 
sent10 -> int1: the MP is mesomorphic.; int1 & sent1 -> int2: the MP is both mesomorphic and a hookworm.; int2 -> int3: there exists something such that it is mesomorphic and is a hookworm.; int3 & sent11 -> hypothesis; __PROVED__