if the wisent is conventional the Cancer does panic vomiter.
sent1: if the wisent is a kind of conventional thing that does not panic lovastatin then the Cancer panics vomiter. sent2: the shelter does not panic Cancer if it is not aplitic. sent3: the shelter is non-aplitic. sent4: either something does jack wisent or it is not a chalcanthite or both if it does not panic Cancer. sent5: if the shelter jacks wisent or it is not a chalcanthite or both the wisent does not panic lovastatin.
sent2 & sent3 -> int1: the shelter does not panic Cancer.; sent4 -> int2: if the shelter does not panic Cancer then it does jack wisent or is not a chalcanthite or both.; int1 & int2 -> int3: the shelter either does jack wisent or is not a chalcanthite or both.; int3 & sent5 -> int4: the wisent does not panic lovastatin.; void -> assump1: Let's assume that the wisent is conventional.; int4 & assump1 -> int5: the wisent is conventional and does not panic lovastatin.; int5 & sent1 -> int6: the Cancer does panic vomiter.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the wisent is conventional the Cancer does panic vomiter. ; $context$ = sent1: if the wisent is a kind of conventional thing that does not panic lovastatin then the Cancer panics vomiter. sent2: the shelter does not panic Cancer if it is not aplitic. sent3: the shelter is non-aplitic. sent4: either something does jack wisent or it is not a chalcanthite or both if it does not panic Cancer. sent5: if the shelter jacks wisent or it is not a chalcanthite or both the wisent does not panic lovastatin. ; $proof$ = 
sent2 & sent3 -> int1: the shelter does not panic Cancer.; sent4 -> int2: if the shelter does not panic Cancer then it does jack wisent or is not a chalcanthite or both.; int1 & int2 -> int3: the shelter either does jack wisent or is not a chalcanthite or both.; int3 & sent5 -> int4: the wisent does not panic lovastatin.; void -> assump1: Let's assume that the wisent is conventional.; int4 & assump1 -> int5: the wisent is conventional and does not panic lovastatin.; int5 & sent1 -> int6: the Cancer does panic vomiter.; [assump1] & int6 -> hypothesis; __PROVED__