if that the bellows is a stable is right the fact that the dell is Tajikistani is not false.
sent1: the bellows does not intonate if there exists something such that it does utter Mellon. sent2: the fact that the three does utter Mellon is not false if it is a kind of a Ptolemy. sent3: if the three is not a Ptolemy then the dell is Tajikistani. sent4: if something does not intonate it is not a kind of a stable.
void -> assump1: Let's assume that the three is a Ptolemy.; sent2 & assump1 -> int1: that the three does not utter Mellon is not true.; int1 -> int2: there is something such that it does utter Mellon.; int2 & sent1 -> int3: the bellows does not intonate.; sent4 -> int4: that the bellows is not a kind of a stable is true if it does not intonate.; int3 & int4 -> int5: the bellows is not stable.; void -> assump2: Let's assume that the bellows is a stable.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the three is not a Ptolemy.; int7 & sent3 -> int8: the dell is Tajikistani.; [assump2] & int8 -> hypothesis;
$hypothesis$ = if that the bellows is a stable is right the fact that the dell is Tajikistani is not false. ; $context$ = sent1: the bellows does not intonate if there exists something such that it does utter Mellon. sent2: the fact that the three does utter Mellon is not false if it is a kind of a Ptolemy. sent3: if the three is not a Ptolemy then the dell is Tajikistani. sent4: if something does not intonate it is not a kind of a stable. ; $proof$ = 
void -> assump1: Let's assume that the three is a Ptolemy.; sent2 & assump1 -> int1: that the three does not utter Mellon is not true.; int1 -> int2: there is something such that it does utter Mellon.; int2 & sent1 -> int3: the bellows does not intonate.; sent4 -> int4: that the bellows is not a kind of a stable is true if it does not intonate.; int3 & int4 -> int5: the bellows is not stable.; void -> assump2: Let's assume that the bellows is a stable.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the three is not a Ptolemy.; int7 & sent3 -> int8: the dell is Tajikistani.; [assump2] & int8 -> hypothesis; __PROVED__