there is something such that if it is a slipstick the fact that it is not a marksman is right.
sent1: if something that is a canella is a kind of a slipstick then it is not a marksman. sent2: the fact that the cleanser is a Lewisia and it is acentric is wrong if there is something such that it is a canella. sent3: if there is something such that that it is litigious and it is a microcosm does not hold then the cleanser is a canella. sent4: something that is not a kind of a marksman is a kind of a canella that is a slipstick.
void -> assump1: Let's assume that the cleanser is a slipstick.; sent1 -> int1: if the cleanser is both a canella and a slipstick then it is not a marksman.;
there is something such that the fact that it is a Lewisia that is acentric is not true.
sent4 -> int2: if the overgarment is not a marksman then it is a kind of a canella and is a slipstick.;
$hypothesis$ = there is something such that if it is a slipstick the fact that it is not a marksman is right. ; $context$ = sent1: if something that is a canella is a kind of a slipstick then it is not a marksman. sent2: the fact that the cleanser is a Lewisia and it is acentric is wrong if there is something such that it is a canella. sent3: if there is something such that that it is litigious and it is a microcosm does not hold then the cleanser is a canella. sent4: something that is not a kind of a marksman is a kind of a canella that is a slipstick. ; $proof$ = 
void -> assump1: Let's assume that the cleanser is a slipstick.; sent1 -> int1: if the cleanser is both a canella and a slipstick then it is not a marksman.; __UNKNOWN__