the local is a flatbed.
sent1: the fact that the workpiece does surprise blackpoll if the gentile lags capped is not wrong. sent2: that something does not surprise blackpoll and it does not lag capped is not right if it is a kind of a Solanum. sent3: if something is a Solanum it lags capped. sent4: the pottle is inconstant. sent5: that the pottle is a streetlight and/or it is not inconstant is not true. sent6: the workpiece does surprise Waugh or it is frivolous or both if there are open-hearth things. sent7: if the fact that the workpiece does not surprise Waugh does not hold the gentile is frivolous. sent8: the acarid is not a kind of an archives. sent9: something that does lag capped and does surprise blackpoll is not flatbed. sent10: if the fact that either the grog is a Solanum or it does not surprise blackpoll or both is not correct the pottle is inconstant. sent11: something is not ropy if it is frivolous. sent12: if the pottle is not a Solanum then the local is a kind of a Solanum. sent13: something either is not a Solanum or is not a turnstone or both if it is not cervine. sent14: that either the danish is inconstant or it is not a kind of a dwarf or both is incorrect. sent15: if the acarid is not an archives the pottle is not an archives. sent16: if that something deals is not false it is not cervine. sent17: the local is a flatbed if the grog is a Solanum. sent18: the fact that the local lags local but it does not surprise blackpoll is incorrect if the gentile is not ropy. sent19: if the pottle is not an archives then it is a deal. sent20: the gentile does lag capped if that the pottle is a streetlight and/or is inconstant does not hold. sent21: the local is a kind of a Solanum if the pottle is not a turnstone. sent22: the gentile lags capped if that either the pottle is a streetlight or it is not inconstant or both is not right. sent23: everything is open-hearth. sent24: that something surprises blackpoll if that it does lag local and does not surprises blackpoll does not hold hold. sent25: if the workpiece surprises blackpoll the grog is a Solanum.
sent22 & sent5 -> int1: the gentile lags capped.; sent1 & int1 -> int2: the workpiece surprises blackpoll.; sent25 & int2 -> int3: the fact that the grog is a kind of a Solanum is not false.; sent17 & int3 -> hypothesis;
the local is not a flatbed.
sent9 -> int4: if the local lags capped and does surprise blackpoll it is not a flatbed.; sent3 -> int5: the local lags capped if it is a Solanum.; sent13 -> int6: the pottle is not a Solanum or is not a turnstone or both if it is not cervine.; sent16 -> int7: if the pottle is a kind of a deal it is not cervine.; sent15 & sent8 -> int8: the pottle is not an archives.; sent19 & int8 -> int9: the pottle deals.; int7 & int9 -> int10: the fact that the pottle is not cervine is not incorrect.; int6 & int10 -> int11: the pottle is not a Solanum or it is not a turnstone or both.; int11 & sent12 & sent21 -> int12: the local is a Solanum.; int5 & int12 -> int13: the fact that the local does lag capped is right.; sent24 -> int14: the local surprises blackpoll if that it does lag local and it does not surprises blackpoll is wrong.; sent11 -> int15: the gentile is not ropy if the fact that it is frivolous hold.; sent23 -> int16: the grog is open-hearth.; int16 -> int17: there exists something such that it is open-hearth.; int17 & sent6 -> int18: the workpiece surprises Waugh and/or is frivolous.;
$hypothesis$ = the local is a flatbed. ; $context$ = sent1: the fact that the workpiece does surprise blackpoll if the gentile lags capped is not wrong. sent2: that something does not surprise blackpoll and it does not lag capped is not right if it is a kind of a Solanum. sent3: if something is a Solanum it lags capped. sent4: the pottle is inconstant. sent5: that the pottle is a streetlight and/or it is not inconstant is not true. sent6: the workpiece does surprise Waugh or it is frivolous or both if there are open-hearth things. sent7: if the fact that the workpiece does not surprise Waugh does not hold the gentile is frivolous. sent8: the acarid is not a kind of an archives. sent9: something that does lag capped and does surprise blackpoll is not flatbed. sent10: if the fact that either the grog is a Solanum or it does not surprise blackpoll or both is not correct the pottle is inconstant. sent11: something is not ropy if it is frivolous. sent12: if the pottle is not a Solanum then the local is a kind of a Solanum. sent13: something either is not a Solanum or is not a turnstone or both if it is not cervine. sent14: that either the danish is inconstant or it is not a kind of a dwarf or both is incorrect. sent15: if the acarid is not an archives the pottle is not an archives. sent16: if that something deals is not false it is not cervine. sent17: the local is a flatbed if the grog is a Solanum. sent18: the fact that the local lags local but it does not surprise blackpoll is incorrect if the gentile is not ropy. sent19: if the pottle is not an archives then it is a deal. sent20: the gentile does lag capped if that the pottle is a streetlight and/or is inconstant does not hold. sent21: the local is a kind of a Solanum if the pottle is not a turnstone. sent22: the gentile lags capped if that either the pottle is a streetlight or it is not inconstant or both is not right. sent23: everything is open-hearth. sent24: that something surprises blackpoll if that it does lag local and does not surprises blackpoll does not hold hold. sent25: if the workpiece surprises blackpoll the grog is a Solanum. ; $proof$ = 
sent22 & sent5 -> int1: the gentile lags capped.; sent1 & int1 -> int2: the workpiece surprises blackpoll.; sent25 & int2 -> int3: the fact that the grog is a kind of a Solanum is not false.; sent17 & int3 -> hypothesis; __PROVED__