the Cherokee is not costal.
sent1: the zircon is both a quadriplegia and costal. sent2: the Cherokee is a kind of a transponder if it is not a Christ's-thorn. sent3: the Cherokee is a transponder if the fact that it is not a kayak but a Christ's-thorn is false. sent4: the Cherokee is a Parr if either the zircon is not paramedical or it is puritanical or both. sent5: the Cherokee is a transponder if the zircon is not paramedical and/or it is a Parr. sent6: the Cherokee is a kind of a Christ's-thorn. sent7: the zircon is a transponder. sent8: the zircon is a Christ's-thorn if the Cherokee is not puritanical and/or it is a Parr. sent9: if the zircon is puritanical the Cherokee is a Parr. sent10: the fact that the zircon is costal hold if the Cherokee kayaks. sent11: the fact that the Cherokee is both not a kayak and a Christ's-thorn is wrong. sent12: if the Cherokee is a kind of a Parr and it is a transponder then it is not costal. sent13: the zircon is not paramedical or is puritanical or both.
sent4 & sent13 -> int1: the Cherokee is a Parr.; sent3 & sent11 -> int2: the Cherokee is a transponder.; int1 & int2 -> int3: the Cherokee is a Parr and a transponder.; int3 & sent12 -> hypothesis;
the plug is not a kind of a transponder.
$hypothesis$ = the Cherokee is not costal. ; $context$ = sent1: the zircon is both a quadriplegia and costal. sent2: the Cherokee is a kind of a transponder if it is not a Christ's-thorn. sent3: the Cherokee is a transponder if the fact that it is not a kayak but a Christ's-thorn is false. sent4: the Cherokee is a Parr if either the zircon is not paramedical or it is puritanical or both. sent5: the Cherokee is a transponder if the zircon is not paramedical and/or it is a Parr. sent6: the Cherokee is a kind of a Christ's-thorn. sent7: the zircon is a transponder. sent8: the zircon is a Christ's-thorn if the Cherokee is not puritanical and/or it is a Parr. sent9: if the zircon is puritanical the Cherokee is a Parr. sent10: the fact that the zircon is costal hold if the Cherokee kayaks. sent11: the fact that the Cherokee is both not a kayak and a Christ's-thorn is wrong. sent12: if the Cherokee is a kind of a Parr and it is a transponder then it is not costal. sent13: the zircon is not paramedical or is puritanical or both. ; $proof$ = 
sent4 & sent13 -> int1: the Cherokee is a Parr.; sent3 & sent11 -> int2: the Cherokee is a transponder.; int1 & int2 -> int3: the Cherokee is a Parr and a transponder.; int3 & sent12 -> hypothesis; __PROVED__