that the neolith either is not a basil or does not incriminate manganese or both is not correct if the chad sticks Bosporus.
sent1: the fact that the neolith is not weatherly and/or it does stick Bosporus is not correct if the chad is weatherly. sent2: that the chad does not incriminate manganese and/or it is not a basil does not hold if the neolith does stick Bosporus. sent3: if the chad is a basil the fact that the fact that the neolith is not a basil or it does not incriminate manganese or both does not hold is right. sent4: if the fact that the chad is a kind of a basil is not incorrect the neolith is a kind of a basil. sent5: the chad incriminates manganese. sent6: the fact that the neolith is a basil is correct if the fact that the chad sticks Bosporus is not incorrect. sent7: that the neolith is not a basil or it incriminates manganese or both is incorrect if the chad is a basil. sent8: if the neolith does stick Bosporus the fact that the chad does not stick Bosporus or is not a basil or both is wrong. sent9: if something is weatherly that it is a basil is not wrong. sent10: the fact that the chad is not a basil and/or it does not incriminate manganese is incorrect if the neolith sticks Bosporus. sent11: that if the chad does stick Bosporus then the chad is weatherly is true. sent12: if the chad is minus then it is weatherly.
void -> assump1: Let's assume that the chad sticks Bosporus.; sent11 & assump1 -> int1: the chad is weatherly.; sent9 -> int2: if the chad is weatherly then it is a basil.; int1 & int2 -> int3: the chad is a basil.; int3 & sent3 -> int4: that either the neolith is not a basil or it does not incriminate manganese or both is not right.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the neolith either is not a basil or does not incriminate manganese or both is not correct if the chad sticks Bosporus. ; $context$ = sent1: the fact that the neolith is not weatherly and/or it does stick Bosporus is not correct if the chad is weatherly. sent2: that the chad does not incriminate manganese and/or it is not a basil does not hold if the neolith does stick Bosporus. sent3: if the chad is a basil the fact that the fact that the neolith is not a basil or it does not incriminate manganese or both does not hold is right. sent4: if the fact that the chad is a kind of a basil is not incorrect the neolith is a kind of a basil. sent5: the chad incriminates manganese. sent6: the fact that the neolith is a basil is correct if the fact that the chad sticks Bosporus is not incorrect. sent7: that the neolith is not a basil or it incriminates manganese or both is incorrect if the chad is a basil. sent8: if the neolith does stick Bosporus the fact that the chad does not stick Bosporus or is not a basil or both is wrong. sent9: if something is weatherly that it is a basil is not wrong. sent10: the fact that the chad is not a basil and/or it does not incriminate manganese is incorrect if the neolith sticks Bosporus. sent11: that if the chad does stick Bosporus then the chad is weatherly is true. sent12: if the chad is minus then it is weatherly. ; $proof$ = 
void -> assump1: Let's assume that the chad sticks Bosporus.; sent11 & assump1 -> int1: the chad is weatherly.; sent9 -> int2: if the chad is weatherly then it is a basil.; int1 & int2 -> int3: the chad is a basil.; int3 & sent3 -> int4: that either the neolith is not a basil or it does not incriminate manganese or both is not right.; [assump1] & int4 -> hypothesis; __PROVED__