if the cornet does numb then the sial is causative.
sent1: the cornet is not a demand if the fact that the clerid is a demand and it is obtuse does not hold. sent2: something is barometric and is a kind of a demand. sent3: the sial is causative if something is barometric and does not demand. sent4: if the clerid is not obtuse the cornet is not a demand. sent5: there is something such that it is barometric. sent6: that the clerid demands and is obtuse is not correct. sent7: there exists something such that it is not a demand. sent8: if the cornet does numb it is barometric.
void -> assump1: Let's assume that the cornet numbs.; sent8 & assump1 -> int1: the fact that the cornet is barometric is correct.; sent1 & sent6 -> int2: the cornet does not demand.; int1 & int2 -> int3: the cornet is barometric but it is not a demand.; int3 -> int4: something is a kind of barometric thing that is not a demand.; int4 & sent3 -> int5: the sial is causative.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the cornet does numb then the sial is causative. ; $context$ = sent1: the cornet is not a demand if the fact that the clerid is a demand and it is obtuse does not hold. sent2: something is barometric and is a kind of a demand. sent3: the sial is causative if something is barometric and does not demand. sent4: if the clerid is not obtuse the cornet is not a demand. sent5: there is something such that it is barometric. sent6: that the clerid demands and is obtuse is not correct. sent7: there exists something such that it is not a demand. sent8: if the cornet does numb it is barometric. ; $proof$ = 
void -> assump1: Let's assume that the cornet numbs.; sent8 & assump1 -> int1: the fact that the cornet is barometric is correct.; sent1 & sent6 -> int2: the cornet does not demand.; int1 & int2 -> int3: the cornet is barometric but it is not a demand.; int3 -> int4: something is a kind of barometric thing that is not a demand.; int4 & sent3 -> int5: the sial is causative.; [assump1] & int5 -> hypothesis; __PROVED__