the pectinealness happens.
sent1: that the cosmolatry does not occur hold if the fact that the cosmolatry and the servileness happens is incorrect. sent2: the flagellation does not occur. sent3: the angioplasty occurs. sent4: the fact that the cosmolatry and the servileness occurs is not right. sent5: the pectinealness causes that the cosmolatry occurs. sent6: the fact that the aecialness and the non-Mendelianness happens does not hold. sent7: the operations happens.
void -> assump1: Let's assume that the pectinealness occurs.; sent5 & assump1 -> int1: the cosmolatry happens.; sent1 & sent4 -> int2: the cosmolatry does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the pectinealness happens. ; $context$ = sent1: that the cosmolatry does not occur hold if the fact that the cosmolatry and the servileness happens is incorrect. sent2: the flagellation does not occur. sent3: the angioplasty occurs. sent4: the fact that the cosmolatry and the servileness occurs is not right. sent5: the pectinealness causes that the cosmolatry occurs. sent6: the fact that the aecialness and the non-Mendelianness happens does not hold. sent7: the operations happens. ; $proof$ = 
void -> assump1: Let's assume that the pectinealness occurs.; sent5 & assump1 -> int1: the cosmolatry happens.; sent1 & sent4 -> int2: the cosmolatry does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__