that the farting Libra does not occur if the surf does not occur does not hold.
sent1: the fact that the farting continent does not occur but the institution happens is wrong if the fact that the surf does not occur is right. sent2: if the farting constraint does not occur then the farting Libra does not occur. sent3: the farting constraint does not occur if that not the farting continent but the institution occurs is false.
void -> assump1: Let's assume that the surf does not occur.; sent1 & assump1 -> int1: the fact that not the farting continent but the institution happens does not hold.; sent3 & int1 -> int2: the farting constraint does not occur.; sent2 & int2 -> int3: the farting Libra does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the farting Libra does not occur if the surf does not occur does not hold. ; $context$ = sent1: the fact that the farting continent does not occur but the institution happens is wrong if the fact that the surf does not occur is right. sent2: if the farting constraint does not occur then the farting Libra does not occur. sent3: the farting constraint does not occur if that not the farting continent but the institution occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the surf does not occur.; sent1 & assump1 -> int1: the fact that not the farting continent but the institution happens does not hold.; sent3 & int1 -> int2: the farting constraint does not occur.; sent2 & int2 -> int3: the farting Libra does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__