the lash is not estrogenic but it is a kind of a disarrayed.
sent1: if the fact that the Porter is shapely is false it is not a unlikeness and it is a kind of a trichopteran. sent2: if something is a kind of a burgomaster then it is not a kind of a die. sent3: if the chat is not unargumentative then the pendant is a burgomaster and it is a countermeasure. sent4: the Porter is not shapely. sent5: that something is not estrogenic but it is a kind of a disarrayed does not hold if it is an orthoclase. sent6: if something does redden Mallotus the pendant is a kind of a frappe. sent7: the pendant is not estrogenic if the fact that the tobogganist is not unpriestly but it is a kind of a flirt is not right. sent8: if the fact that the tobogganist is a frappe is not false then the lash is an orthoclase. sent9: the servant reddens Mallotus if there is something such that it is not a unlikeness and it is a trichopteran. sent10: the fact that the tobogganist is not unpriestly and is a flirt is false. sent11: the lash is not estrogenic and is a kind of a disarrayed if the pendant is not estrogenic. sent12: the tobogganist is a frappe if the pendant is both a frappe and not a die.
sent7 & sent10 -> int1: the pendant is not estrogenic.; int1 & sent11 -> hypothesis;
the fact that the lash is not estrogenic but it is a disarrayed is not right.
sent5 -> int2: if the lash is a kind of an orthoclase that it is a kind of non-estrogenic thing that is a disarrayed is not right.; sent1 & sent4 -> int3: the Porter is both not a unlikeness and a trichopteran.; int3 -> int4: that something is not a unlikeness but it is a trichopteran is true.; int4 & sent9 -> int5: the servant reddens Mallotus.; int5 -> int6: there is something such that it does redden Mallotus.; int6 & sent6 -> int7: the pendant is a kind of a frappe.; sent2 -> int8: the pendant is not a kind of a die if it is a burgomaster.;
$hypothesis$ = the lash is not estrogenic but it is a kind of a disarrayed. ; $context$ = sent1: if the fact that the Porter is shapely is false it is not a unlikeness and it is a kind of a trichopteran. sent2: if something is a kind of a burgomaster then it is not a kind of a die. sent3: if the chat is not unargumentative then the pendant is a burgomaster and it is a countermeasure. sent4: the Porter is not shapely. sent5: that something is not estrogenic but it is a kind of a disarrayed does not hold if it is an orthoclase. sent6: if something does redden Mallotus the pendant is a kind of a frappe. sent7: the pendant is not estrogenic if the fact that the tobogganist is not unpriestly but it is a kind of a flirt is not right. sent8: if the fact that the tobogganist is a frappe is not false then the lash is an orthoclase. sent9: the servant reddens Mallotus if there is something such that it is not a unlikeness and it is a trichopteran. sent10: the fact that the tobogganist is not unpriestly and is a flirt is false. sent11: the lash is not estrogenic and is a kind of a disarrayed if the pendant is not estrogenic. sent12: the tobogganist is a frappe if the pendant is both a frappe and not a die. ; $proof$ = 
sent7 & sent10 -> int1: the pendant is not estrogenic.; int1 & sent11 -> hypothesis; __PROVED__