that the eoraptor does not beckon secondo and it does not beckon colleen does not hold.
sent1: that the cleavers beckons colleen and does not deny Jainist is not true if that the Stoker does not deny Jainist is right. sent2: something does not beckon colleen if the fact that it is not a Isurus hold. sent3: that the lovage is a satinet that is a gumdrop does not hold if there is something such that it does not deny Jainist. sent4: that the hygrodeik is both a Isurus and tasteful is not true. sent5: if the fact that something is both not a poised and a bullheaded is false it does not deny Jainist. sent6: something is not a kind of a Isurus or is not catalatic or both if the fact that it is not a kind of a poised is correct. sent7: if that the hygrodeik is a Isurus and it is tasteful is false it is not a kind of a Isurus. sent8: something is catalatic. sent9: if the Stoker is not catalatic then the eoraptor does not beckon secondo and it does not beckon colleen. sent10: the fact that the lovage is not non-catalatic and not a poised is not true if the cleavers is not a kind of a bullheaded. sent11: the cleavers is not a bullheaded if the X-ray does not deny Jainist and/or is not a satinet. sent12: if something is catalatic that the Stoker is both not a poised and a bullheaded is wrong. sent13: if there is something such that the fact that that it is a satinet and it is a gumdrop is not incorrect is not true the cleavers is not a Isurus. sent14: there are antediluvian things. sent15: if there exists something such that it is not a satinet then the X-ray does not deny Jainist and/or is not a satinet.
sent8 & sent12 -> int1: the fact that the Stoker is not a kind of a poised and is a bullheaded is incorrect.; sent5 -> int2: the Stoker does not deny Jainist if the fact that it is both not a poised and a bullheaded is not true.; int1 & int2 -> int3: that the Stoker does not deny Jainist is true.; int3 -> int4: there exists something such that it does not deny Jainist.; int4 & sent3 -> int5: the fact that the fact that the lovage is a kind of a satinet and it is a kind of a gumdrop is right is false.; int5 -> int6: there exists something such that the fact that it is a kind of a satinet that is a gumdrop is wrong.; int6 & sent13 -> int7: the cleavers is not a Isurus.; sent2 -> int8: the cleavers does not beckon colleen if it is not a Isurus.; int7 & int8 -> int9: the cleavers does not beckon colleen.;
the lovage is not a Isurus.
sent6 -> int10: if the lovage is not a poised it is not a Isurus and/or it is not catalatic.;
$hypothesis$ = that the eoraptor does not beckon secondo and it does not beckon colleen does not hold. ; $context$ = sent1: that the cleavers beckons colleen and does not deny Jainist is not true if that the Stoker does not deny Jainist is right. sent2: something does not beckon colleen if the fact that it is not a Isurus hold. sent3: that the lovage is a satinet that is a gumdrop does not hold if there is something such that it does not deny Jainist. sent4: that the hygrodeik is both a Isurus and tasteful is not true. sent5: if the fact that something is both not a poised and a bullheaded is false it does not deny Jainist. sent6: something is not a kind of a Isurus or is not catalatic or both if the fact that it is not a kind of a poised is correct. sent7: if that the hygrodeik is a Isurus and it is tasteful is false it is not a kind of a Isurus. sent8: something is catalatic. sent9: if the Stoker is not catalatic then the eoraptor does not beckon secondo and it does not beckon colleen. sent10: the fact that the lovage is not non-catalatic and not a poised is not true if the cleavers is not a kind of a bullheaded. sent11: the cleavers is not a bullheaded if the X-ray does not deny Jainist and/or is not a satinet. sent12: if something is catalatic that the Stoker is both not a poised and a bullheaded is wrong. sent13: if there is something such that the fact that that it is a satinet and it is a gumdrop is not incorrect is not true the cleavers is not a Isurus. sent14: there are antediluvian things. sent15: if there exists something such that it is not a satinet then the X-ray does not deny Jainist and/or is not a satinet. ; $proof$ = 
sent8 & sent12 -> int1: the fact that the Stoker is not a kind of a poised and is a bullheaded is incorrect.; sent5 -> int2: the Stoker does not deny Jainist if the fact that it is both not a poised and a bullheaded is not true.; int1 & int2 -> int3: that the Stoker does not deny Jainist is true.; int3 -> int4: there exists something such that it does not deny Jainist.; int4 & sent3 -> int5: the fact that the fact that the lovage is a kind of a satinet and it is a kind of a gumdrop is right is false.; int5 -> int6: there exists something such that the fact that it is a kind of a satinet that is a gumdrop is wrong.; int6 & sent13 -> int7: the cleavers is not a Isurus.; sent2 -> int8: the cleavers does not beckon colleen if it is not a Isurus.; int7 & int8 -> int9: the cleavers does not beckon colleen.; __UNKNOWN__