the fact that that the cortex does not peck pragmatic and does not tunnel Tridacnidae does not hold hold.
sent1: if the psylla tunnels lagan then it is earthen and it does not putter. sent2: that the cortex does not peck pragmatic and does not tunnel lagan is not right. sent3: the cortex is not algolagnic. sent4: The lagan does tunnel psylla. sent5: the longboat is algolagnic and tunnels phaius. sent6: if the psylla is earthen thing that does not putter the cortex is not earthen. sent7: the fact that something does not peck pragmatic and it does not tunnel Tridacnidae is incorrect if it dares. sent8: the fact that the fact that the psylla does not tunnel Tridacnidae but it tunnels lagan hold is not right. sent9: the cortex does not tunnel Tridacnidae if the longboat tunnel Tridacnidae but it does not peck strikeout. sent10: that the cortex is not colorful is not wrong if there exists something such that either it is algolagnic or it does peck strikeout or both. sent11: that the psylla is colorful is not incorrect. sent12: that the cortex is earthen is not incorrect if it is not colorful and it is not a dare. sent13: the cortex is not colorful if the psylla is colorful and does not tunnel lagan. sent14: the fact that something is a kind of non-earthen thing that does tunnel Tridacnidae is not correct if it is algolagnic. sent15: if the psylla does tunnel lagan then that it putters and it does not peck strikeout is wrong. sent16: the longboat is not disposable.
sent5 -> int1: the longboat is algolagnic.; int1 -> int2: the longboat either is algolagnic or does peck strikeout or both.; int2 -> int3: there exists something such that it either is algolagnic or pecks strikeout or both.; int3 & sent10 -> int4: the cortex is non-colorful.; void -> assump1: Let's assume that that the cortex is not a dare is correct.; int4 & assump1 -> int5: the cortex is non-colorful and is not a dare.; int5 & sent12 -> int6: the cortex is earthen.; sent7 -> int7: that the cortex does not peck pragmatic and does not tunnel Tridacnidae does not hold if it does dare.;
$hypothesis$ = the fact that that the cortex does not peck pragmatic and does not tunnel Tridacnidae does not hold hold. ; $context$ = sent1: if the psylla tunnels lagan then it is earthen and it does not putter. sent2: that the cortex does not peck pragmatic and does not tunnel lagan is not right. sent3: the cortex is not algolagnic. sent4: The lagan does tunnel psylla. sent5: the longboat is algolagnic and tunnels phaius. sent6: if the psylla is earthen thing that does not putter the cortex is not earthen. sent7: the fact that something does not peck pragmatic and it does not tunnel Tridacnidae is incorrect if it dares. sent8: the fact that the fact that the psylla does not tunnel Tridacnidae but it tunnels lagan hold is not right. sent9: the cortex does not tunnel Tridacnidae if the longboat tunnel Tridacnidae but it does not peck strikeout. sent10: that the cortex is not colorful is not wrong if there exists something such that either it is algolagnic or it does peck strikeout or both. sent11: that the psylla is colorful is not incorrect. sent12: that the cortex is earthen is not incorrect if it is not colorful and it is not a dare. sent13: the cortex is not colorful if the psylla is colorful and does not tunnel lagan. sent14: the fact that something is a kind of non-earthen thing that does tunnel Tridacnidae is not correct if it is algolagnic. sent15: if the psylla does tunnel lagan then that it putters and it does not peck strikeout is wrong. sent16: the longboat is not disposable. ; $proof$ = 
sent5 -> int1: the longboat is algolagnic.; int1 -> int2: the longboat either is algolagnic or does peck strikeout or both.; int2 -> int3: there exists something such that it either is algolagnic or pecks strikeout or both.; int3 & sent10 -> int4: the cortex is non-colorful.; void -> assump1: Let's assume that that the cortex is not a dare is correct.; int4 & assump1 -> int5: the cortex is non-colorful and is not a dare.; int5 & sent12 -> int6: the cortex is earthen.; sent7 -> int7: that the cortex does not peck pragmatic and does not tunnel Tridacnidae does not hold if it does dare.; __UNKNOWN__