the dill is not a kind of a simple and is not inclusive.
sent1: the dill is not a cankerworm. sent2: the stingaree-bush is not plantal. sent3: that something is closing and does not nose pose is incorrect if it is not operculate. sent4: the resort does not crispen if the bullfight is a snatch. sent5: that the dill seeks format but it is not a cankerworm does not hold if the bullfight does not crispen. sent6: if that the resort is closing thing that does not nose pose is not correct then the bullfight does not crispen. sent7: if that the caller is a simple is not false the dill is not a kind of a simple and it is not a cankerworm. sent8: if that something does seek format and is not a kind of a cankerworm is not right then it does not seek format. sent9: the fact that the dill is not a cankerworm if the caller is a kind of a simple is true. sent10: the dill is not inclusive. sent11: the caller is simple if that the stingaree-bush seeks format is correct. sent12: the resort does not crispen if the bullfight does snatch or it does not seek cankerworm or both. sent13: the fact that something is not simple and it is not inclusive does not hold if that it does not seek format hold. sent14: something is not operculate if the fact that it is a prophyll and is operculate does not hold. sent15: the dill does not seek cankerworm if the bullfight is not a simple. sent16: the stingaree-bush is non-operculate if the fact that it is not plantal is correct. sent17: the bullfight does snatch and/or does not seek cankerworm.
sent12 & sent17 -> int1: the resort does not crispen.;
that the dill is not simple and it is not inclusive does not hold.
sent13 -> int2: the fact that the dill is non-simple and it is not inclusive is incorrect if it does not seek format.; sent8 -> int3: if the fact that the dill does seek format and is not a cankerworm does not hold then it does not seek format.; sent3 -> int4: that if the resort is not operculate the fact that the resort is closing but it does not nose pose is wrong is true.; sent14 -> int5: if the fact that the resort is a prophyll and it is operculate is not correct then it is not operculate.; sent16 & sent2 -> int6: the stingaree-bush is not operculate.; int6 -> int7: there is something such that it is non-operculate.;
$hypothesis$ = the dill is not a kind of a simple and is not inclusive. ; $context$ = sent1: the dill is not a cankerworm. sent2: the stingaree-bush is not plantal. sent3: that something is closing and does not nose pose is incorrect if it is not operculate. sent4: the resort does not crispen if the bullfight is a snatch. sent5: that the dill seeks format but it is not a cankerworm does not hold if the bullfight does not crispen. sent6: if that the resort is closing thing that does not nose pose is not correct then the bullfight does not crispen. sent7: if that the caller is a simple is not false the dill is not a kind of a simple and it is not a cankerworm. sent8: if that something does seek format and is not a kind of a cankerworm is not right then it does not seek format. sent9: the fact that the dill is not a cankerworm if the caller is a kind of a simple is true. sent10: the dill is not inclusive. sent11: the caller is simple if that the stingaree-bush seeks format is correct. sent12: the resort does not crispen if the bullfight does snatch or it does not seek cankerworm or both. sent13: the fact that something is not simple and it is not inclusive does not hold if that it does not seek format hold. sent14: something is not operculate if the fact that it is a prophyll and is operculate does not hold. sent15: the dill does not seek cankerworm if the bullfight is not a simple. sent16: the stingaree-bush is non-operculate if the fact that it is not plantal is correct. sent17: the bullfight does snatch and/or does not seek cankerworm. ; $proof$ = 
sent12 & sent17 -> int1: the resort does not crispen.; __UNKNOWN__