the prebendary does not trickle.
sent1: the squill is monotonic or it does preach or both if the fact that it does not shop arthrospore hold. sent2: the squill does falter and does infix sarcophagus. sent3: that something is a kind of a superstition that does not preach is right. sent4: something is a Geisel if it infixes sarcophagus. sent5: the extractor shops altostratus. sent6: the fact that the squill infixes sarcophagus but it is not a kind of a Geisel does not hold if the turbinate does not shop altostratus. sent7: something does shop altostratus if it is monotonic. sent8: there exists something such that it shops altostratus. sent9: the squill does not shop arthrospore. sent10: there is something such that it is a Geisel. sent11: if the turbinate is not a superstition the prebendary is not a superstition. sent12: something trickles or it does not falter or both if it does not infix sarcophagus. sent13: if the turbinate is not a superstition the prebendary is not a kind of a superstition and it does not trickle. sent14: something that preaches does shop altostratus. sent15: The arthrospore does not shop squill. sent16: the turbinate is not a kind of a superstition if something is a kind of a Geisel and it does shop altostratus.
sent2 -> int1: the squill infixes sarcophagus.; sent4 -> int2: the squill is a kind of a Geisel if it infixes sarcophagus.; int1 & int2 -> int3: the squill is a Geisel.; sent1 & sent9 -> int4: the squill is monotonic or preaches or both.; sent7 -> int5: the squill shops altostratus if it is monotonic.; sent14 -> int6: the squill shops altostratus if it does preach.; int4 & int5 & int6 -> int7: the squill does shop altostratus.; int3 & int7 -> int8: the squill is a kind of a Geisel and shops altostratus.; int8 -> int9: there is something such that it is a Geisel and it shops altostratus.; int9 & sent16 -> int10: the turbinate is not a superstition.; int10 & sent13 -> int11: the prebendary is not a superstition and it does not trickle.; int11 -> hypothesis;
the prebendary does trickle.
sent12 -> int12: the squill does trickle and/or it does not falter if that it does not infix sarcophagus hold.;
$hypothesis$ = the prebendary does not trickle. ; $context$ = sent1: the squill is monotonic or it does preach or both if the fact that it does not shop arthrospore hold. sent2: the squill does falter and does infix sarcophagus. sent3: that something is a kind of a superstition that does not preach is right. sent4: something is a Geisel if it infixes sarcophagus. sent5: the extractor shops altostratus. sent6: the fact that the squill infixes sarcophagus but it is not a kind of a Geisel does not hold if the turbinate does not shop altostratus. sent7: something does shop altostratus if it is monotonic. sent8: there exists something such that it shops altostratus. sent9: the squill does not shop arthrospore. sent10: there is something such that it is a Geisel. sent11: if the turbinate is not a superstition the prebendary is not a superstition. sent12: something trickles or it does not falter or both if it does not infix sarcophagus. sent13: if the turbinate is not a superstition the prebendary is not a kind of a superstition and it does not trickle. sent14: something that preaches does shop altostratus. sent15: The arthrospore does not shop squill. sent16: the turbinate is not a kind of a superstition if something is a kind of a Geisel and it does shop altostratus. ; $proof$ = 
sent2 -> int1: the squill infixes sarcophagus.; sent4 -> int2: the squill is a kind of a Geisel if it infixes sarcophagus.; int1 & int2 -> int3: the squill is a Geisel.; sent1 & sent9 -> int4: the squill is monotonic or preaches or both.; sent7 -> int5: the squill shops altostratus if it is monotonic.; sent14 -> int6: the squill shops altostratus if it does preach.; int4 & int5 & int6 -> int7: the squill does shop altostratus.; int3 & int7 -> int8: the squill is a kind of a Geisel and shops altostratus.; int8 -> int9: there is something such that it is a Geisel and it shops altostratus.; int9 & sent16 -> int10: the turbinate is not a superstition.; int10 & sent13 -> int11: the prebendary is not a superstition and it does not trickle.; int11 -> hypothesis; __PROVED__