the fact that the atmosphere is not a ecrevisse and/or it does not punish insincerity is wrong.
sent1: the rayon does not punish rayon if it does not pass spout and is a kind of a Neosho. sent2: the atmosphere is a kind of a ecrevisse. sent3: the rayon is not a governess. sent4: the Afro is a ecrevisse if the rayon is a Neosho. sent5: the rayon is not a Neosho. sent6: if the Afro is a ecrevisse the atmosphere is a ecrevisse. sent7: if the Afro is a ecrevisse that the atmosphere is not a ecrevisse or it does not punish insincerity or both is wrong. sent8: the rayon punishes insincerity if the fact that the Afro does not overpay and is not a ecrevisse does not hold. sent9: the fact that the rayon does not pass spout and is a Neosho is not true. sent10: the rayon overpays if that either it is not a ecrevisse or it passes spout or both is incorrect. sent11: if the rayon does not pass spout and is not a Neosho it does not punish rayon. sent12: the fact that the rayon does not overpay and/or is a governess is not correct. sent13: if the fact that the rayon either does not overpay or is a kind of a governess or both is not correct it punishes rayon. sent14: the atmosphere is not a governess and it is not a sagebrush.
void -> assump1: Let's assume that the fact that the rayon does not pass spout and is not a Neosho is right.; sent11 & assump1 -> int1: the rayon does not punish rayon.; sent13 & sent12 -> int2: that the rayon punishes rayon is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the rayon does not pass spout and it is not a Neosho is not true.;
$hypothesis$ = the fact that the atmosphere is not a ecrevisse and/or it does not punish insincerity is wrong. ; $context$ = sent1: the rayon does not punish rayon if it does not pass spout and is a kind of a Neosho. sent2: the atmosphere is a kind of a ecrevisse. sent3: the rayon is not a governess. sent4: the Afro is a ecrevisse if the rayon is a Neosho. sent5: the rayon is not a Neosho. sent6: if the Afro is a ecrevisse the atmosphere is a ecrevisse. sent7: if the Afro is a ecrevisse that the atmosphere is not a ecrevisse or it does not punish insincerity or both is wrong. sent8: the rayon punishes insincerity if the fact that the Afro does not overpay and is not a ecrevisse does not hold. sent9: the fact that the rayon does not pass spout and is a Neosho is not true. sent10: the rayon overpays if that either it is not a ecrevisse or it passes spout or both is incorrect. sent11: if the rayon does not pass spout and is not a Neosho it does not punish rayon. sent12: the fact that the rayon does not overpay and/or is a governess is not correct. sent13: if the fact that the rayon either does not overpay or is a kind of a governess or both is not correct it punishes rayon. sent14: the atmosphere is not a governess and it is not a sagebrush. ; $proof$ = 
void -> assump1: Let's assume that the fact that the rayon does not pass spout and is not a Neosho is right.; sent11 & assump1 -> int1: the rayon does not punish rayon.; sent13 & sent12 -> int2: that the rayon punishes rayon is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the rayon does not pass spout and it is not a Neosho is not true.; __UNKNOWN__