that there is something such that it is not a piaffe is wrong.
sent1: the VIP is not an immediacy. sent2: something does not insufflate rat-a-tat-tat. sent3: if the fact that the spinach is both not a piaffe and a thermocoagulation is incorrect then the worthy is not a thermocoagulation. sent4: there exists something such that it is a piaffe. sent5: if something that is a piaffe insufflates rat-a-tat-tat it is not a phytochemist. sent6: if something is a kind of a piaffe then it is a kind of an immediacy.
sent6 -> int1: the VIP is an immediacy if it is a piaffe.; void -> assump1: Let's assume that the VIP is a piaffe.; int1 & assump1 -> int2: the VIP is an immediacy.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the VIP is not a piaffe.; int4 -> hypothesis;
the worthy is not a thermocoagulation.
$hypothesis$ = that there is something such that it is not a piaffe is wrong. ; $context$ = sent1: the VIP is not an immediacy. sent2: something does not insufflate rat-a-tat-tat. sent3: if the fact that the spinach is both not a piaffe and a thermocoagulation is incorrect then the worthy is not a thermocoagulation. sent4: there exists something such that it is a piaffe. sent5: if something that is a piaffe insufflates rat-a-tat-tat it is not a phytochemist. sent6: if something is a kind of a piaffe then it is a kind of an immediacy. ; $proof$ = 
sent6 -> int1: the VIP is an immediacy if it is a piaffe.; void -> assump1: Let's assume that the VIP is a piaffe.; int1 & assump1 -> int2: the VIP is an immediacy.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the VIP is not a piaffe.; int4 -> hypothesis; __DISPROVED__