the flageolet does not spare and it is not interfacial.
sent1: the fact that the necessity is not untrustworthy or it ferrets detonation or both is not correct if the fact that it is vagile hold. sent2: if that either something is untrustworthy or it does ferret detonation or both does not hold it does not cloud antefix. sent3: the flageolet does not spare and it is not interfacial if there is something such that it does not cloud antefix. sent4: something does not cloud antefix if that either it is not untrustworthy or it ferrets detonation or both is false. sent5: if the cultivator is nonastringent the necessity is nonastringent. sent6: something is not interfacial if the fact that it is not untrustworthy and/or it is a kind of a spare does not hold. sent7: if that the pintle does ferret absolutist and is not handless is not correct the styrene does not ferret absolutist. sent8: the styrene does not ferret styrene. sent9: that the styrene is both a spare and nonastringent does not hold if that it does ferret styrene is not true. sent10: the necessity is nonastringent if the cultivator ferrets delivery. sent11: the flageolet is a kind of frozen thing that is vagile if there is something such that it is not a spare. sent12: that the pintle does ferret absolutist but it is not handless does not hold. sent13: that the necessity is vagile is correct. sent14: the necessity is not a spare if the fact that the styrene is a kind of a spare and it is nonastringent is not correct. sent15: the necessity ferrets absolutist. sent16: the cultivator either is nonastringent or does ferret delivery or both. sent17: if the fact that something is not interfacial and/or it ferrets detonation is incorrect then it is not untrustworthy. sent18: there is something such that it does cloud antefix.
sent1 & sent13 -> int1: that either the necessity is not untrustworthy or it ferrets detonation or both is not right.; sent4 -> int2: the necessity does not cloud antefix if the fact that it either is not untrustworthy or ferrets detonation or both does not hold.; int1 & int2 -> int3: the necessity does not cloud antefix.; int3 -> int4: there is something such that it does not cloud antefix.; int4 & sent3 -> hypothesis;
that the fact that the flageolet is not a spare and is not interfacial is true is not right.
sent16 & sent5 & sent10 -> int5: that the necessity is nonastringent is not wrong.; sent7 & sent12 -> int6: that the styrene does not ferret absolutist is true.; int6 -> int7: there exists something such that it does not ferret absolutist.;
$hypothesis$ = the flageolet does not spare and it is not interfacial. ; $context$ = sent1: the fact that the necessity is not untrustworthy or it ferrets detonation or both is not correct if the fact that it is vagile hold. sent2: if that either something is untrustworthy or it does ferret detonation or both does not hold it does not cloud antefix. sent3: the flageolet does not spare and it is not interfacial if there is something such that it does not cloud antefix. sent4: something does not cloud antefix if that either it is not untrustworthy or it ferrets detonation or both is false. sent5: if the cultivator is nonastringent the necessity is nonastringent. sent6: something is not interfacial if the fact that it is not untrustworthy and/or it is a kind of a spare does not hold. sent7: if that the pintle does ferret absolutist and is not handless is not correct the styrene does not ferret absolutist. sent8: the styrene does not ferret styrene. sent9: that the styrene is both a spare and nonastringent does not hold if that it does ferret styrene is not true. sent10: the necessity is nonastringent if the cultivator ferrets delivery. sent11: the flageolet is a kind of frozen thing that is vagile if there is something such that it is not a spare. sent12: that the pintle does ferret absolutist but it is not handless does not hold. sent13: that the necessity is vagile is correct. sent14: the necessity is not a spare if the fact that the styrene is a kind of a spare and it is nonastringent is not correct. sent15: the necessity ferrets absolutist. sent16: the cultivator either is nonastringent or does ferret delivery or both. sent17: if the fact that something is not interfacial and/or it ferrets detonation is incorrect then it is not untrustworthy. sent18: there is something such that it does cloud antefix. ; $proof$ = 
sent1 & sent13 -> int1: that either the necessity is not untrustworthy or it ferrets detonation or both is not right.; sent4 -> int2: the necessity does not cloud antefix if the fact that it either is not untrustworthy or ferrets detonation or both does not hold.; int1 & int2 -> int3: the necessity does not cloud antefix.; int3 -> int4: there is something such that it does not cloud antefix.; int4 & sent3 -> hypothesis; __PROVED__