there is something such that if it is non-lean that it does not snow resident is right.
sent1: the linendraper snows ewe. sent2: if something does not encircle claim that it is not an aspiration is not incorrect. sent3: the feeding is a disa and Bantoid. sent4: the linendraper does lean if that it does snow resident is not incorrect. sent5: if something is a Chelidonium then it either does not encircle birthday or does not encircle claim or both. sent6: there exists something such that if that it is not pro-choice is true then it does encircle Takakkaw. sent7: there is something such that if it does not lean then it snows resident. sent8: if the linendraper does not lean then it snows resident. sent9: something that does not encircle birthday is not a kind of an aspiration. sent10: there is something such that if it leans then that it does not snow resident is right. sent11: the linendraper is a kind of a honker if it does not stave. sent12: the kuvasz does snow resident. sent13: that the linendraper snows multiplicand and is a gross is not right if the feeding is not an aspiration. sent14: the bond snows resident if there is something such that the fact that it does snow multiplicand and it does gross is not true. sent15: if the feeding is a disa it is a Chelidonium. sent16: if something is non-lean and/or it snows resident it is derivational. sent17: if the linendraper leans it does not snow resident. sent18: the linendraper does not confide.
void -> assump2: Let's assume that the linendraper does snow resident.; sent4 & assump2 -> int1: the linendraper does lean.; void -> assump1: Let's assume that the linendraper does not lean.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the linendraper does not snow resident.; [assump1] & int3 -> int4: if the linendraper is not lean it does not snow resident.; int4 -> hypothesis;
the bond is derivational.
sent16 -> int5: if the bond is not lean and/or does snow resident it is not non-derivational.; sent5 -> int6: if the feeding is a Chelidonium then either it does not encircle birthday or it does not encircle claim or both.; sent3 -> int7: the feeding is a disa.; sent15 & int7 -> int8: the feeding is a Chelidonium.; int6 & int8 -> int9: the feeding does not encircle birthday or it does not encircle claim or both.; sent9 -> int10: the feeding is not an aspiration if it does not encircle birthday.; sent2 -> int11: the feeding is not an aspiration if it does not encircle claim.; int9 & int10 & int11 -> int12: the feeding is not a kind of an aspiration.; sent13 & int12 -> int13: the fact that the linendraper snows multiplicand and it is a gross is not right.; int13 -> int14: there is something such that that it does snow multiplicand and it is a kind of a gross does not hold.; int14 & sent14 -> int15: the bond snows resident.; int15 -> int16: the bond does not lean or it does snow resident or both.; int5 & int16 -> hypothesis;
$hypothesis$ = there is something such that if it is non-lean that it does not snow resident is right. ; $context$ = sent1: the linendraper snows ewe. sent2: if something does not encircle claim that it is not an aspiration is not incorrect. sent3: the feeding is a disa and Bantoid. sent4: the linendraper does lean if that it does snow resident is not incorrect. sent5: if something is a Chelidonium then it either does not encircle birthday or does not encircle claim or both. sent6: there exists something such that if that it is not pro-choice is true then it does encircle Takakkaw. sent7: there is something such that if it does not lean then it snows resident. sent8: if the linendraper does not lean then it snows resident. sent9: something that does not encircle birthday is not a kind of an aspiration. sent10: there is something such that if it leans then that it does not snow resident is right. sent11: the linendraper is a kind of a honker if it does not stave. sent12: the kuvasz does snow resident. sent13: that the linendraper snows multiplicand and is a gross is not right if the feeding is not an aspiration. sent14: the bond snows resident if there is something such that the fact that it does snow multiplicand and it does gross is not true. sent15: if the feeding is a disa it is a Chelidonium. sent16: if something is non-lean and/or it snows resident it is derivational. sent17: if the linendraper leans it does not snow resident. sent18: the linendraper does not confide. ; $proof$ = 
void -> assump2: Let's assume that the linendraper does snow resident.; sent4 & assump2 -> int1: the linendraper does lean.; void -> assump1: Let's assume that the linendraper does not lean.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the linendraper does not snow resident.; [assump1] & int3 -> int4: if the linendraper is not lean it does not snow resident.; int4 -> hypothesis; __PROVED__