the vestryman is a dentist that is not a tundra.
sent1: something is a dramatization if it is sturdy. sent2: the sequin is axillary. sent3: that the vestryman is both a dentist and a tundra does not hold if that it is a dramatization is not wrong. sent4: if the sequin is sturdy then the vestryman is not Newtonian and it is not axillary. sent5: that something is a kind of a dentist that is not a tundra is incorrect if that it is a dramatization is not incorrect. sent6: the sequin is a Newtonian and is atonalistic if it is not axillary. sent7: if that something is not a Newtonian and/or it strangulates does not hold it is sturdy. sent8: something is not non-sturdy if the fact that either it is a Newtonian or it does strangulate or both does not hold. sent9: the vestryman is Newtonian if the sequin is Newtonian. sent10: if the fact that the vestryman is a Newtonian and/or it strangulates does not hold it is sturdy. sent11: if something is a kind of a dramatization the fact that it is a dentist that is a tundra does not hold. sent12: if that the sequin is a Newtonian is true the fact that either the vestryman is not Newtonian or it does strangulate or both is not right. sent13: the vestryman is a Newtonian. sent14: the fact that the vestryman is a kind of a dentist and it is a kind of a tundra is not right. sent15: the quack-quack is theological and it is ovular. sent16: that a non-Newtonian thing is a dentist that is not a kind of a tundra hold. sent17: the sequin is Newtonian and it is axillary. sent18: the vestryman does not strangulate if something that is a kind of a dramatization is a kind of a dentist.
sent17 -> int1: the sequin is a kind of a Newtonian.; int1 & sent12 -> int2: that the vestryman is not Newtonian and/or strangulates does not hold.; sent7 -> int3: if the fact that the vestryman is not Newtonian and/or it does strangulate is false then it is sturdy.; int2 & int3 -> int4: the vestryman is sturdy.; sent1 -> int5: if the vestryman is sturdy it is a dramatization.; int4 & int5 -> int6: the vestryman is a dramatization.; sent5 -> int7: if the vestryman is a dramatization then the fact that it is a dentist but not a tundra is incorrect.; int6 & int7 -> hypothesis;
the vestryman is a dentist but not a tundra.
sent16 -> int8: the vestryman is a dentist but it is not a tundra if it is not a kind of a Newtonian.;
$hypothesis$ = the vestryman is a dentist that is not a tundra. ; $context$ = sent1: something is a dramatization if it is sturdy. sent2: the sequin is axillary. sent3: that the vestryman is both a dentist and a tundra does not hold if that it is a dramatization is not wrong. sent4: if the sequin is sturdy then the vestryman is not Newtonian and it is not axillary. sent5: that something is a kind of a dentist that is not a tundra is incorrect if that it is a dramatization is not incorrect. sent6: the sequin is a Newtonian and is atonalistic if it is not axillary. sent7: if that something is not a Newtonian and/or it strangulates does not hold it is sturdy. sent8: something is not non-sturdy if the fact that either it is a Newtonian or it does strangulate or both does not hold. sent9: the vestryman is Newtonian if the sequin is Newtonian. sent10: if the fact that the vestryman is a Newtonian and/or it strangulates does not hold it is sturdy. sent11: if something is a kind of a dramatization the fact that it is a dentist that is a tundra does not hold. sent12: if that the sequin is a Newtonian is true the fact that either the vestryman is not Newtonian or it does strangulate or both is not right. sent13: the vestryman is a Newtonian. sent14: the fact that the vestryman is a kind of a dentist and it is a kind of a tundra is not right. sent15: the quack-quack is theological and it is ovular. sent16: that a non-Newtonian thing is a dentist that is not a kind of a tundra hold. sent17: the sequin is Newtonian and it is axillary. sent18: the vestryman does not strangulate if something that is a kind of a dramatization is a kind of a dentist. ; $proof$ = 
sent17 -> int1: the sequin is a kind of a Newtonian.; int1 & sent12 -> int2: that the vestryman is not Newtonian and/or strangulates does not hold.; sent7 -> int3: if the fact that the vestryman is not Newtonian and/or it does strangulate is false then it is sturdy.; int2 & int3 -> int4: the vestryman is sturdy.; sent1 -> int5: if the vestryman is sturdy it is a dramatization.; int4 & int5 -> int6: the vestryman is a dramatization.; sent5 -> int7: if the vestryman is a dramatization then the fact that it is a dentist but not a tundra is incorrect.; int6 & int7 -> hypothesis; __DISPROVED__