the uptake is not a sterol and parches solitaire.
sent1: the scattering is not a hallstand and/or is not a kind of a sign if the cousin mambos. sent2: there exists something such that that that it does not disobey requiescat or it snakes or both is right is not correct. sent3: the scattering does nettle rockabilly if it is a kind of non-single-lane thing that is nonastringent. sent4: if the scattering is not a kind of a hallstand then the uptake is antediluvian. sent5: The fact that the rockabilly nettles Idahoan is not false. sent6: if the uptake is both anaphylactic and not non-antediluvian then the Idahoan does not nettle rockabilly. sent7: if the cousin is both not a hallstand and not a sign then the fife is not a kind of a mambo. sent8: if the scattering does not sign then the uptake is antediluvian. sent9: if the scattering is infinitival it is not single-lane and it is nonastringent. sent10: something is not anaphylactic and is not antediluvian if it does not nettle rockabilly. sent11: something that is not a hallstand is not a sign or not a mambo or both. sent12: the cousin is a mambo if there is something such that the fact that it does not disobey requiescat and/or it is a snake does not hold. sent13: if that something is not a kind of a sign and/or it is not a mambo is correct it is not a mambo. sent14: the fact that the Idahoan nettles rockabilly is not false. sent15: the fact that something is not a sterol and does parch solitaire is wrong if it does not mambo. sent16: the fact that if the cousin is not a antediluvian and not non-anaphylactic the uptake is not a kind of a hallstand is right. sent17: the uptake is not a sterol but it parches solitaire if it is not anaphylactic.
sent2 & sent12 -> int1: the cousin is a kind of a mambo.; int1 & sent1 -> int2: either the scattering is not a hallstand or it is not a sign or both.; int2 & sent4 & sent8 -> int3: the uptake is a antediluvian.; void -> assump1: Let's assume that the uptake is anaphylactic.; int3 & assump1 -> int4: the uptake is a kind of anaphylactic thing that is a antediluvian.; int4 & sent6 -> int5: the Idahoan does not nettle rockabilly.; int5 & sent14 -> int6: this is contradiction.; [assump1] & int6 -> int7: the uptake is not anaphylactic.; int7 & sent17 -> hypothesis;
that the uptake is not a sterol but it does parch solitaire does not hold.
sent15 -> int8: the fact that the uptake is not a sterol but it parches solitaire does not hold if it is not a mambo.; sent13 -> int9: the fact that the uptake does not mambo hold if it is not a sign and/or it is not a mambo.; sent11 -> int10: if the uptake is not a kind of a hallstand either it is not a sign or it does not mambo or both.;
$hypothesis$ = the uptake is not a sterol and parches solitaire. ; $context$ = sent1: the scattering is not a hallstand and/or is not a kind of a sign if the cousin mambos. sent2: there exists something such that that that it does not disobey requiescat or it snakes or both is right is not correct. sent3: the scattering does nettle rockabilly if it is a kind of non-single-lane thing that is nonastringent. sent4: if the scattering is not a kind of a hallstand then the uptake is antediluvian. sent5: The fact that the rockabilly nettles Idahoan is not false. sent6: if the uptake is both anaphylactic and not non-antediluvian then the Idahoan does not nettle rockabilly. sent7: if the cousin is both not a hallstand and not a sign then the fife is not a kind of a mambo. sent8: if the scattering does not sign then the uptake is antediluvian. sent9: if the scattering is infinitival it is not single-lane and it is nonastringent. sent10: something is not anaphylactic and is not antediluvian if it does not nettle rockabilly. sent11: something that is not a hallstand is not a sign or not a mambo or both. sent12: the cousin is a mambo if there is something such that the fact that it does not disobey requiescat and/or it is a snake does not hold. sent13: if that something is not a kind of a sign and/or it is not a mambo is correct it is not a mambo. sent14: the fact that the Idahoan nettles rockabilly is not false. sent15: the fact that something is not a sterol and does parch solitaire is wrong if it does not mambo. sent16: the fact that if the cousin is not a antediluvian and not non-anaphylactic the uptake is not a kind of a hallstand is right. sent17: the uptake is not a sterol but it parches solitaire if it is not anaphylactic. ; $proof$ = 
sent2 & sent12 -> int1: the cousin is a kind of a mambo.; int1 & sent1 -> int2: either the scattering is not a hallstand or it is not a sign or both.; int2 & sent4 & sent8 -> int3: the uptake is a antediluvian.; void -> assump1: Let's assume that the uptake is anaphylactic.; int3 & assump1 -> int4: the uptake is a kind of anaphylactic thing that is a antediluvian.; int4 & sent6 -> int5: the Idahoan does not nettle rockabilly.; int5 & sent14 -> int6: this is contradiction.; [assump1] & int6 -> int7: the uptake is not anaphylactic.; int7 & sent17 -> hypothesis; __PROVED__