the tenor is not a spastic.
sent1: that the tenor is spastic is true if the pyelogram is not a kind of a spastic. sent2: the tenor is not a spastic if it is not a mandible and is a toke. sent3: everything is a lateral and/or it is an incident. sent4: if the spinnaker is a lateral then the ex-spouse is a lateral. sent5: if something that does defibrillate xenon does not defibrillate spinnaker then the fact that it is spectral hold. sent6: something is not a mandible if that it is a toke that is not non-spastic is wrong. sent7: the tenor does defibrillate xenon but it does not defibrillate spinnaker. sent8: something is not a mandible if it is a kind of hypodermic thing that is thermometric. sent9: the ex-spouse is a kind of an ebb if it is a kind of a lateral. sent10: the fact that the pyelogram is non-thermometric thing that is not spectral is correct if the minivan is not a mandible. sent11: the tenor is thermometric. sent12: the tenor is a hypodermic if it is spectral. sent13: that the fact that the tenor is not a kind of a toke is false is true.
sent5 -> int1: the tenor is spectral if it does defibrillate xenon and it does not defibrillate spinnaker.; int1 & sent7 -> int2: the tenor is spectral.; int2 & sent12 -> int3: the tenor is a hypodermic.; int3 & sent11 -> int4: the tenor is a kind of a hypodermic that is thermometric.; sent8 -> int5: that the tenor is a mandible does not hold if it is a hypodermic and it is thermometric.; int4 & int5 -> int6: the tenor is not a kind of a mandible.; int6 & sent13 -> int7: the tenor is not a mandible and is a toke.; int7 & sent2 -> hypothesis;
the lectin is not a hypodermic.
sent6 -> int8: if that the minivan is a toke and it is a spastic is false then it is not a mandible.; sent3 -> int9: either the spinnaker is a lateral or it is an incident or both.;
$hypothesis$ = the tenor is not a spastic. ; $context$ = sent1: that the tenor is spastic is true if the pyelogram is not a kind of a spastic. sent2: the tenor is not a spastic if it is not a mandible and is a toke. sent3: everything is a lateral and/or it is an incident. sent4: if the spinnaker is a lateral then the ex-spouse is a lateral. sent5: if something that does defibrillate xenon does not defibrillate spinnaker then the fact that it is spectral hold. sent6: something is not a mandible if that it is a toke that is not non-spastic is wrong. sent7: the tenor does defibrillate xenon but it does not defibrillate spinnaker. sent8: something is not a mandible if it is a kind of hypodermic thing that is thermometric. sent9: the ex-spouse is a kind of an ebb if it is a kind of a lateral. sent10: the fact that the pyelogram is non-thermometric thing that is not spectral is correct if the minivan is not a mandible. sent11: the tenor is thermometric. sent12: the tenor is a hypodermic if it is spectral. sent13: that the fact that the tenor is not a kind of a toke is false is true. ; $proof$ = 
sent5 -> int1: the tenor is spectral if it does defibrillate xenon and it does not defibrillate spinnaker.; int1 & sent7 -> int2: the tenor is spectral.; int2 & sent12 -> int3: the tenor is a hypodermic.; int3 & sent11 -> int4: the tenor is a kind of a hypodermic that is thermometric.; sent8 -> int5: that the tenor is a mandible does not hold if it is a hypodermic and it is thermometric.; int4 & int5 -> int6: the tenor is not a kind of a mandible.; int6 & sent13 -> int7: the tenor is not a mandible and is a toke.; int7 & sent2 -> hypothesis; __PROVED__