something is unnecessary.
sent1: if the Mennonite is a sax then that the bridge pleases hold. sent2: the projector does paganize and does rekindle meandering. sent3: the projector paganizes if that the caladium does not rekindle meandering is not false. sent4: the caladium does awake. sent5: the Dipper is an undesirable. sent6: the caladium does please. sent7: if the projector is an undesirable the fact that the Mennonite is a sax is correct. sent8: the projector does please if the bridge is a kind of an undesirable. sent9: the marker awakes if the bridge does please. sent10: the projector paganizes. sent11: the granadillo does please. sent12: the projector is a pantie. sent13: the caladium is unnecessary if it rekindles meandering. sent14: the Mennonite does please if the bridge is a sax. sent15: if the caladium does not rekindle meandering then the projector does paganize and it is a kind of an undesirable. sent16: that the bridge paganizes and pleases is true if the projector does not rekindle meandering.
void -> assump1: Let's assume that the caladium does not rekindle meandering.; sent15 & assump1 -> int1: the projector paganizes and it is undesirable.; int1 -> int2: the projector is a kind of an undesirable.; int2 & sent7 -> int3: the Mennonite is a sax.; int3 & sent1 -> int4: the bridge does please.; int4 & sent9 -> int5: the marker does awake.;
$hypothesis$ = something is unnecessary. ; $context$ = sent1: if the Mennonite is a sax then that the bridge pleases hold. sent2: the projector does paganize and does rekindle meandering. sent3: the projector paganizes if that the caladium does not rekindle meandering is not false. sent4: the caladium does awake. sent5: the Dipper is an undesirable. sent6: the caladium does please. sent7: if the projector is an undesirable the fact that the Mennonite is a sax is correct. sent8: the projector does please if the bridge is a kind of an undesirable. sent9: the marker awakes if the bridge does please. sent10: the projector paganizes. sent11: the granadillo does please. sent12: the projector is a pantie. sent13: the caladium is unnecessary if it rekindles meandering. sent14: the Mennonite does please if the bridge is a sax. sent15: if the caladium does not rekindle meandering then the projector does paganize and it is a kind of an undesirable. sent16: that the bridge paganizes and pleases is true if the projector does not rekindle meandering. ; $proof$ = 
void -> assump1: Let's assume that the caladium does not rekindle meandering.; sent15 & assump1 -> int1: the projector paganizes and it is undesirable.; int1 -> int2: the projector is a kind of an undesirable.; int2 & sent7 -> int3: the Mennonite is a sax.; int3 & sent1 -> int4: the bridge does please.; int4 & sent9 -> int5: the marker does awake.; __UNKNOWN__