the macaque does brim but it does not concern DCCP.
sent1: something is recoverable thing that does not concern DCCP if it is a Poivrade. sent2: something does let if it does reopen halftone. sent3: the whiffer is a kind of an eczema if there is something such that it is a kind of a Poivrade that does not expense scribe. sent4: the fact that something brims and does not concern DCCP is not correct if it is not a Poivrade. sent5: if the whiffer expenses scribe and is a kind of a Poivrade the macaque is not a kind of a Poivrade. sent6: the calceus is a Ascidiaceae. sent7: if something is a Ascidiaceae the fact that it is not mud-brick and is not an egotism is incorrect. sent8: if the calceus is not an overproduction then that the torpedo concerns ledger and it is a kind of a squatter does not hold. sent9: there is something such that it expenses Spark. sent10: if there is something such that it expenses Spark the fact that the percolate mimeographs and does reopen rye is not true. sent11: if there exists something such that it is an eczema the macaque is a brim. sent12: the fact that that something is a kind of an eczema but it does not expense Spark does not hold if it does not crispen is not wrong. sent13: the calceus is not an overproduction if the fact that it is not mud-brick and it is not an egotism is wrong. sent14: something does not expense scribe if that it is a mimeograph and it does reopen rye is wrong. sent15: something does not expense scribe if it is not a mimeograph. sent16: the macaque is croupy. sent17: the percolate is a kind of a Poivrade. sent18: if the tramp does not expense scribe that the whiffer concerns DCCP and it is a Poivrade hold. sent19: if something that does concern DCCP is not a kind of a Poivrade the percolate is a kind of a brim. sent20: if there exists something such that the fact that it concerns ledger and it is a squatter is incorrect then the fact that the rye does reopen halftone is right. sent21: the zip does not crispen if there exists something such that the fact that it is not non-condylar hold. sent22: if something is an eczema then the macaque is a kind of a brim but it does not concern DCCP. sent23: if something that does not crispen expenses Spark then the whiffer does expense scribe. sent24: the fact that something is condylar is true if it lets. sent25: the fact that the percolate is apiarian and is residual is not correct.
sent14 -> int1: the percolate does not expense scribe if that it is a kind of a mimeograph that reopens rye does not hold.; sent9 & sent10 -> int2: that the fact that the percolate is a kind of a mimeograph that does reopen rye does not hold is not wrong.; int1 & int2 -> int3: the percolate does not expense scribe.; int3 & sent17 -> int4: the percolate is a Poivrade and does not expense scribe.; int4 -> int5: something is a Poivrade and does not expense scribe.; int5 & sent3 -> int6: the whiffer is an eczema.; int6 -> int7: there exists something such that it is an eczema.; int7 & sent22 -> hypothesis;
the fact that the macaque is a kind of a brim that does not concern DCCP does not hold.
sent4 -> int8: the fact that the macaque is a brim but it does not concern DCCP is not correct if it is not a Poivrade.;
$hypothesis$ = the macaque does brim but it does not concern DCCP. ; $context$ = sent1: something is recoverable thing that does not concern DCCP if it is a Poivrade. sent2: something does let if it does reopen halftone. sent3: the whiffer is a kind of an eczema if there is something such that it is a kind of a Poivrade that does not expense scribe. sent4: the fact that something brims and does not concern DCCP is not correct if it is not a Poivrade. sent5: if the whiffer expenses scribe and is a kind of a Poivrade the macaque is not a kind of a Poivrade. sent6: the calceus is a Ascidiaceae. sent7: if something is a Ascidiaceae the fact that it is not mud-brick and is not an egotism is incorrect. sent8: if the calceus is not an overproduction then that the torpedo concerns ledger and it is a kind of a squatter does not hold. sent9: there is something such that it expenses Spark. sent10: if there is something such that it expenses Spark the fact that the percolate mimeographs and does reopen rye is not true. sent11: if there exists something such that it is an eczema the macaque is a brim. sent12: the fact that that something is a kind of an eczema but it does not expense Spark does not hold if it does not crispen is not wrong. sent13: the calceus is not an overproduction if the fact that it is not mud-brick and it is not an egotism is wrong. sent14: something does not expense scribe if that it is a mimeograph and it does reopen rye is wrong. sent15: something does not expense scribe if it is not a mimeograph. sent16: the macaque is croupy. sent17: the percolate is a kind of a Poivrade. sent18: if the tramp does not expense scribe that the whiffer concerns DCCP and it is a Poivrade hold. sent19: if something that does concern DCCP is not a kind of a Poivrade the percolate is a kind of a brim. sent20: if there exists something such that the fact that it concerns ledger and it is a squatter is incorrect then the fact that the rye does reopen halftone is right. sent21: the zip does not crispen if there exists something such that the fact that it is not non-condylar hold. sent22: if something is an eczema then the macaque is a kind of a brim but it does not concern DCCP. sent23: if something that does not crispen expenses Spark then the whiffer does expense scribe. sent24: the fact that something is condylar is true if it lets. sent25: the fact that the percolate is apiarian and is residual is not correct. ; $proof$ = 
sent14 -> int1: the percolate does not expense scribe if that it is a kind of a mimeograph that reopens rye does not hold.; sent9 & sent10 -> int2: that the fact that the percolate is a kind of a mimeograph that does reopen rye does not hold is not wrong.; int1 & int2 -> int3: the percolate does not expense scribe.; int3 & sent17 -> int4: the percolate is a Poivrade and does not expense scribe.; int4 -> int5: something is a Poivrade and does not expense scribe.; int5 & sent3 -> int6: the whiffer is an eczema.; int6 -> int7: there exists something such that it is an eczema.; int7 & sent22 -> hypothesis; __PROVED__