the plodder retrogrades.
sent1: that the bandstand is broad but it is not nonrepresentational is not true. sent2: if the biomass is not a larvacide it is both not operative and a conceptualization. sent3: the fact that the bandstand is broad and nonrepresentational is not right. sent4: the plodder retrogrades if the Cheddar is a kind of a eremite. sent5: if the fact that that the bandstand is a broad but not nonrepresentational is incorrect is not wrong the Cheddar does not interleave lied. sent6: that something does not interleave lied and it is not a eremite is not correct if it is not a conceptualization. sent7: if the biomass is not non-retrograde then the plodder is not a larvacide. sent8: something is a kind of a eremite but it does not interleave lied. sent9: if the biomass is not a larvacide it is inoperative. sent10: something is not retrograde and not non-broad. sent11: if something that is not a kind of a eremite does not interleave lied then the biomass is not a conceptualization. sent12: if the bandstand is nonrepresentational the Cheddar does not interleave lied. sent13: the plodder is not a broad. sent14: something is not a eremite but it does interleave lied. sent15: something is not a eremite. sent16: the biomass is inoperative. sent17: there exists something such that it does not interleave lied.
sent5 & sent1 -> int1: the Cheddar does not interleave lied.; void -> assump1: Let's assume that the Cheddar is not a eremite.; int1 & assump1 -> int2: the Cheddar is not a kind of a eremite and does not interleave lied.; int2 -> int3: something is not a eremite and it does not interleave lied.; int3 & sent11 -> int4: the biomass is not a conceptualization.;
the plodder does not retrograde.
sent6 -> int5: if the bandstand is not a conceptualization the fact that it does not interleave lied and it is not a eremite does not hold.;
$hypothesis$ = the plodder retrogrades. ; $context$ = sent1: that the bandstand is broad but it is not nonrepresentational is not true. sent2: if the biomass is not a larvacide it is both not operative and a conceptualization. sent3: the fact that the bandstand is broad and nonrepresentational is not right. sent4: the plodder retrogrades if the Cheddar is a kind of a eremite. sent5: if the fact that that the bandstand is a broad but not nonrepresentational is incorrect is not wrong the Cheddar does not interleave lied. sent6: that something does not interleave lied and it is not a eremite is not correct if it is not a conceptualization. sent7: if the biomass is not non-retrograde then the plodder is not a larvacide. sent8: something is a kind of a eremite but it does not interleave lied. sent9: if the biomass is not a larvacide it is inoperative. sent10: something is not retrograde and not non-broad. sent11: if something that is not a kind of a eremite does not interleave lied then the biomass is not a conceptualization. sent12: if the bandstand is nonrepresentational the Cheddar does not interleave lied. sent13: the plodder is not a broad. sent14: something is not a eremite but it does interleave lied. sent15: something is not a eremite. sent16: the biomass is inoperative. sent17: there exists something such that it does not interleave lied. ; $proof$ = 
sent5 & sent1 -> int1: the Cheddar does not interleave lied.; void -> assump1: Let's assume that the Cheddar is not a eremite.; int1 & assump1 -> int2: the Cheddar is not a kind of a eremite and does not interleave lied.; int2 -> int3: something is not a eremite and it does not interleave lied.; int3 & sent11 -> int4: the biomass is not a conceptualization.; __UNKNOWN__