there exists something such that if it is not unidentifiable and it is not a kind of a Mohawk it is a kind of a axletree.
sent1: if the registrant is a kind of non-floricultural thing that does not rectify then that it roughens readership hold. sent2: something is a axletree if it is a kind of unidentifiable thing that is not a Mohawk. sent3: if something that is not unidentifiable is not a Mohawk then it is a kind of a axletree. sent4: if the registrant does not roughen slash and it is not a kind of a axletree it is a kind of a Algonquian. sent5: if something is not a kind of a ligand and it does not extricate Abadan it is a rasp. sent6: if something is a kind of identifiable thing that is a Mohawk then that it is a axletree is not wrong. sent7: the registrant is a axletree if it is not unidentifiable and it is a Mohawk. sent8: if the registrant does not rectify and does not weaken then it is antiadrenergic. sent9: there is something such that if it is a kind of identifiable thing that is a Mohawk then it is a axletree. sent10: something is a Pyramid if the fact that it is not a kind of a tricot and it is not a Mohawk is not wrong. sent11: there is something such that if it is unidentifiable and is not a Mohawk then it is a axletree. sent12: the macadamia is a Mohawk if it is not an altimeter and it does not skid bottle. sent13: the fact that there exists something such that if it is not vulvar and it is not a promontory then it extricates quiff is not wrong. sent14: if the registrant is unidentifiable and is not a Mohawk the fact that it is a kind of a axletree is not incorrect.
sent3 -> int1: if the registrant is both identifiable and not a Mohawk then it is a axletree.; int1 -> hypothesis;
if the hardtack is not a tricot and it is not a Mohawk it is a Pyramid.
sent10 -> hypothesis;
$hypothesis$ = there exists something such that if it is not unidentifiable and it is not a kind of a Mohawk it is a kind of a axletree. ; $context$ = sent1: if the registrant is a kind of non-floricultural thing that does not rectify then that it roughens readership hold. sent2: something is a axletree if it is a kind of unidentifiable thing that is not a Mohawk. sent3: if something that is not unidentifiable is not a Mohawk then it is a kind of a axletree. sent4: if the registrant does not roughen slash and it is not a kind of a axletree it is a kind of a Algonquian. sent5: if something is not a kind of a ligand and it does not extricate Abadan it is a rasp. sent6: if something is a kind of identifiable thing that is a Mohawk then that it is a axletree is not wrong. sent7: the registrant is a axletree if it is not unidentifiable and it is a Mohawk. sent8: if the registrant does not rectify and does not weaken then it is antiadrenergic. sent9: there is something such that if it is a kind of identifiable thing that is a Mohawk then it is a axletree. sent10: something is a Pyramid if the fact that it is not a kind of a tricot and it is not a Mohawk is not wrong. sent11: there is something such that if it is unidentifiable and is not a Mohawk then it is a axletree. sent12: the macadamia is a Mohawk if it is not an altimeter and it does not skid bottle. sent13: the fact that there exists something such that if it is not vulvar and it is not a promontory then it extricates quiff is not wrong. sent14: if the registrant is unidentifiable and is not a Mohawk the fact that it is a kind of a axletree is not incorrect. ; $proof$ = 
sent3 -> int1: if the registrant is both identifiable and not a Mohawk then it is a axletree.; int1 -> hypothesis; __PROVED__