the shipping is directional and/or not an andiron.
sent1: the sludge does not complect pyelogram and/or it does not defoliate perfecter if the hoist does not defoliate perfecter. sent2: everything is not a seasonableness. sent3: if the sludge does not defoliate perfecter the hoist does not complect pyelogram. sent4: the fact that something defoliates perfecter and complects pyelogram is not right if it is not economics. sent5: the shipping is not an andiron if the sludge does not complect pyelogram. sent6: the hoist does not defoliate perfecter if there exists something such that that it is both a FIG and a worry is incorrect. sent7: if there exists something such that it is not a kind of a FIG then the hoist does not defoliate perfecter. sent8: if something does not defoliate perfecter the fact that it is directional or it is not an andiron or both is incorrect. sent9: the sludge is not a she-oak or it is not intralobular or both if there exists something such that that it is not a kind of a Medford is not true. sent10: the shipping is an andiron if the sludge does not complect pyelogram. sent11: that the shipping is not a kind of an andiron is not wrong if the fact that the sludge does not defoliate perfecter is not incorrect. sent12: if the sludge is not a she-oak and/or it is not intralobular that the hoist is not economics is not false. sent13: something is a Medford if the fact that it is a west that is not a glyceraldehyde does not hold. sent14: the shipping is directional and/or an andiron. sent15: there is something such that the fact that it is a FIG and it does worry is not right. sent16: that something is a kind of a west but it is not a kind of a glyceraldehyde is false if it is not a seasonableness. sent17: something is a FIG and it is a kind of a worry.
sent15 & sent6 -> int1: the hoist does not defoliate perfecter.; int1 & sent1 -> int2: the sludge does not complect pyelogram or it does not defoliate perfecter or both.; int2 & sent5 & sent11 -> int3: the shipping is not an andiron.; int3 -> hypothesis;
that the shipping is directional or not an andiron or both is not right.
sent8 -> int4: if that the shipping does not defoliate perfecter is true the fact that it is directional and/or it is not an andiron is incorrect.; sent4 -> int5: the fact that the hoist defoliates perfecter and it does complect pyelogram is not true if the fact that it is not economics hold.; sent16 -> int6: that the toluene is a west but it is not a glyceraldehyde does not hold if it is not a kind of a seasonableness.; sent2 -> int7: the toluene is not a seasonableness.; int6 & int7 -> int8: the fact that the toluene is a west but it is not a glyceraldehyde does not hold.; int8 -> int9: there is nothing that is west but not a glyceraldehyde.; int9 -> int10: that the posseman is a west but it is not a glyceraldehyde does not hold.; sent13 -> int11: if that the posseman is west but it is not a glyceraldehyde is false it is a Medford.; int10 & int11 -> int12: the fact that the posseman is a Medford is not wrong.; int12 -> int13: there exists something such that it is a kind of a Medford.; sent9 & int13 -> int14: the sludge is not a she-oak or it is not intralobular or both.; int14 & sent12 -> int15: the hoist is not economics.; int5 & int15 -> int16: that that the hoist does defoliate perfecter and it does complect pyelogram is not true is right.;
$hypothesis$ = the shipping is directional and/or not an andiron. ; $context$ = sent1: the sludge does not complect pyelogram and/or it does not defoliate perfecter if the hoist does not defoliate perfecter. sent2: everything is not a seasonableness. sent3: if the sludge does not defoliate perfecter the hoist does not complect pyelogram. sent4: the fact that something defoliates perfecter and complects pyelogram is not right if it is not economics. sent5: the shipping is not an andiron if the sludge does not complect pyelogram. sent6: the hoist does not defoliate perfecter if there exists something such that that it is both a FIG and a worry is incorrect. sent7: if there exists something such that it is not a kind of a FIG then the hoist does not defoliate perfecter. sent8: if something does not defoliate perfecter the fact that it is directional or it is not an andiron or both is incorrect. sent9: the sludge is not a she-oak or it is not intralobular or both if there exists something such that that it is not a kind of a Medford is not true. sent10: the shipping is an andiron if the sludge does not complect pyelogram. sent11: that the shipping is not a kind of an andiron is not wrong if the fact that the sludge does not defoliate perfecter is not incorrect. sent12: if the sludge is not a she-oak and/or it is not intralobular that the hoist is not economics is not false. sent13: something is a Medford if the fact that it is a west that is not a glyceraldehyde does not hold. sent14: the shipping is directional and/or an andiron. sent15: there is something such that the fact that it is a FIG and it does worry is not right. sent16: that something is a kind of a west but it is not a kind of a glyceraldehyde is false if it is not a seasonableness. sent17: something is a FIG and it is a kind of a worry. ; $proof$ = 
sent15 & sent6 -> int1: the hoist does not defoliate perfecter.; int1 & sent1 -> int2: the sludge does not complect pyelogram or it does not defoliate perfecter or both.; int2 & sent5 & sent11 -> int3: the shipping is not an andiron.; int3 -> hypothesis; __PROVED__