the fact that that that the contrapuntist is not an orchid and is not a kind of an alert is true does not hold if the molester is not a condylion is not correct.
sent1: something is not a kind of an alert if it is a fester that is a Nipa. sent2: the molester is reverberant but it is not a kind of a Mozambican. sent3: the molester is not a kind of a musician. sent4: the Astrakhan is non-empyrean. sent5: that the contrapuntist does not fester and it is not a kind of a Nipa if the molester is not an orchid hold. sent6: if that the molester is not a condylion is not false the fact that the contrapuntist is a kind of a condylion but it is not an orchid is wrong. sent7: if the molester is a fester it is a Nipa. sent8: the acarine is not a kind of a Nipa. sent9: the molester festers. sent10: the fact that the contrapuntist is an orchid and not a Nipa is incorrect. sent11: if something is empyrean and is not a kind of a condylion then it is not a kind of an orchid. sent12: if the contrapuntist is not a kind of a condylion then the fact that the molester is not an orchid and is alert is wrong. sent13: something is not a Nipa if it is a kind of an orchid and it is alert. sent14: the molester does not pander. sent15: that the contrapuntist is not an orchid and it is not an alert does not hold if the molester is not a kind of an orchid. sent16: the fact that the gametocyte is both not a tribologist and not a Nipa is not right. sent17: if the contrapuntist is not a condylion that the molester is not a Nipa and it is not an orchid is wrong. sent18: that the molester is a fester and is not a kind of an orchid is wrong if the contrapuntist is not empyrean. sent19: the flyspeck is a Nipa. sent20: something is empyrean if the fact that it is a kind of a Nipa hold.
sent7 & sent9 -> int1: the molester is a Nipa.; sent20 -> int2: the molester is empyrean if it is a Nipa.; int1 & int2 -> int3: the molester is empyrean.; void -> assump1: Let's assume that the molester is not a condylion.; int3 & assump1 -> int4: the molester is empyrean but it is not a condylion.; sent11 -> int5: if the molester is both not non-empyrean and not a condylion it is not an orchid.; int4 & int5 -> int6: the molester is not a kind of an orchid.; int6 & sent15 -> int7: the fact that the contrapuntist is both not an orchid and not alert is incorrect.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that that that the contrapuntist is not an orchid and is not a kind of an alert is true does not hold if the molester is not a condylion is not correct. ; $context$ = sent1: something is not a kind of an alert if it is a fester that is a Nipa. sent2: the molester is reverberant but it is not a kind of a Mozambican. sent3: the molester is not a kind of a musician. sent4: the Astrakhan is non-empyrean. sent5: that the contrapuntist does not fester and it is not a kind of a Nipa if the molester is not an orchid hold. sent6: if that the molester is not a condylion is not false the fact that the contrapuntist is a kind of a condylion but it is not an orchid is wrong. sent7: if the molester is a fester it is a Nipa. sent8: the acarine is not a kind of a Nipa. sent9: the molester festers. sent10: the fact that the contrapuntist is an orchid and not a Nipa is incorrect. sent11: if something is empyrean and is not a kind of a condylion then it is not a kind of an orchid. sent12: if the contrapuntist is not a kind of a condylion then the fact that the molester is not an orchid and is alert is wrong. sent13: something is not a Nipa if it is a kind of an orchid and it is alert. sent14: the molester does not pander. sent15: that the contrapuntist is not an orchid and it is not an alert does not hold if the molester is not a kind of an orchid. sent16: the fact that the gametocyte is both not a tribologist and not a Nipa is not right. sent17: if the contrapuntist is not a condylion that the molester is not a Nipa and it is not an orchid is wrong. sent18: that the molester is a fester and is not a kind of an orchid is wrong if the contrapuntist is not empyrean. sent19: the flyspeck is a Nipa. sent20: something is empyrean if the fact that it is a kind of a Nipa hold. ; $proof$ = 
sent7 & sent9 -> int1: the molester is a Nipa.; sent20 -> int2: the molester is empyrean if it is a Nipa.; int1 & int2 -> int3: the molester is empyrean.; void -> assump1: Let's assume that the molester is not a condylion.; int3 & assump1 -> int4: the molester is empyrean but it is not a condylion.; sent11 -> int5: if the molester is both not non-empyrean and not a condylion it is not an orchid.; int4 & int5 -> int6: the molester is not a kind of an orchid.; int6 & sent15 -> int7: the fact that the contrapuntist is both not an orchid and not alert is incorrect.; [assump1] & int7 -> hypothesis; __DISPROVED__