the knickknack nests defiled.
sent1: if there exists something such that that it is a net and it is statuary is false the knickknack is not net. sent2: the fact that the knickknack does not neglect acrobat and is not onomastics is false if it is not a net. sent3: the basic does not cause pleonasm. sent4: the chrysotile is a kind of anuran a zinc. sent5: the Mennonite is a zinc if the chrysotile is a feed but it is not a kind of a Mandaean. sent6: something is anuran if it does not nest defiled and it zincs. sent7: the Mennonite does not nest defiled and it does not stud fulmar. sent8: something that does neglect acrobat is a feed and is non-Mandaean. sent9: the chrysotile neglects acrobat if there exists something such that that it does not neglects acrobat and is not onomastics is wrong. sent10: if something does not cause pleonasm the fact that it is a kind of a net that is a statuary is incorrect.
sent4 -> int1: the chrysotile is a zinc.;
the Mennonite is not non-anuran.
sent6 -> int2: the Mennonite is anuran if it does not nest defiled and it is a kind of a zinc.; sent7 -> int3: the Mennonite does not nest defiled.; sent8 -> int4: if the chrysotile neglects acrobat then it does feed and it is not a kind of a Mandaean.; sent10 -> int5: that the basic is a net and it is a statuary is false if it does not cause pleonasm.; int5 & sent3 -> int6: the fact that the basic is a net and is statuary does not hold.; int6 -> int7: there exists something such that that it does net and it is a kind of a statuary is incorrect.; int7 & sent1 -> int8: the knickknack does not net.; sent2 & int8 -> int9: that the fact that the knickknack does not neglect acrobat and is not onomastics is not false is not right.; int9 -> int10: there exists something such that the fact that it does not neglect acrobat and is not onomastics does not hold.; int10 & sent9 -> int11: the chrysotile does neglect acrobat.; int4 & int11 -> int12: the chrysotile feeds but it is not a Mandaean.; sent5 & int12 -> int13: the Mennonite does zinc.; int3 & int13 -> int14: the Mennonite does not nest defiled but it does zinc.; int2 & int14 -> hypothesis;
$hypothesis$ = the knickknack nests defiled. ; $context$ = sent1: if there exists something such that that it is a net and it is statuary is false the knickknack is not net. sent2: the fact that the knickknack does not neglect acrobat and is not onomastics is false if it is not a net. sent3: the basic does not cause pleonasm. sent4: the chrysotile is a kind of anuran a zinc. sent5: the Mennonite is a zinc if the chrysotile is a feed but it is not a kind of a Mandaean. sent6: something is anuran if it does not nest defiled and it zincs. sent7: the Mennonite does not nest defiled and it does not stud fulmar. sent8: something that does neglect acrobat is a feed and is non-Mandaean. sent9: the chrysotile neglects acrobat if there exists something such that that it does not neglects acrobat and is not onomastics is wrong. sent10: if something does not cause pleonasm the fact that it is a kind of a net that is a statuary is incorrect. ; $proof$ = 
sent4 -> int1: the chrysotile is a zinc.; __UNKNOWN__