that both the hornedness and the caesuralness happens if the performance occurs is not true.
sent1: the hornedness and the caesuralness happens if the reunifying curandero does not occur. sent2: the reunifying curandero does not occur if that the performance does not occur but the penetration happens is incorrect. sent3: that the reopening does not occur and the knowableness occurs prevents the zoonoticness. sent4: both the hornlessness and the caesuralness occurs if the reunifying curandero does not occur. sent5: both the performance and the non-perfectedness happens if the penetration does not occur. sent6: the zoicness occurs.
void -> assump1: Let's assume that the performance happens.; void -> assump2: Let's assume that the performance does not occur but the penetration occurs.; assump2 -> int1: the performance does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the performance but the penetration happens is incorrect.; sent2 & int3 -> int4: the reunifying curandero does not occur.; sent1 & int4 -> int5: the non-hornlessness and the caesuralness occurs.; [assump1] & int5 -> hypothesis;
the perfecting does not occur.
$hypothesis$ = that both the hornedness and the caesuralness happens if the performance occurs is not true. ; $context$ = sent1: the hornedness and the caesuralness happens if the reunifying curandero does not occur. sent2: the reunifying curandero does not occur if that the performance does not occur but the penetration happens is incorrect. sent3: that the reopening does not occur and the knowableness occurs prevents the zoonoticness. sent4: both the hornlessness and the caesuralness occurs if the reunifying curandero does not occur. sent5: both the performance and the non-perfectedness happens if the penetration does not occur. sent6: the zoicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the performance happens.; void -> assump2: Let's assume that the performance does not occur but the penetration occurs.; assump2 -> int1: the performance does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the performance but the penetration happens is incorrect.; sent2 & int3 -> int4: the reunifying curandero does not occur.; sent1 & int4 -> int5: the non-hornlessness and the caesuralness occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__