the wirer does not nitrify.
sent1: something does spot flesh and is not a kind of a guarani if it is a Heloise. sent2: that the directory does not weed violist hold. sent3: That the violist does not weed directory hold. sent4: something that is not a kind of a Heloise does spot predestination and does not nitrify. sent5: something does spot predestination but it is not a Typhoeus if it does not weed violist. sent6: the directory does not spot predestination if the warhead does spot predestination but it is not a kind of a Typhoeus. sent7: if the fact that the directory does not weed violist is right the fact that the wirer spots flesh and is not a guarani is wrong.
sent1 -> int1: if the wirer is a Heloise then it spots flesh and is not a guarani.; void -> assump1: Let's assume that that the wirer is a Heloise is not incorrect.; int1 & assump1 -> int2: the wirer does spot flesh and is not a guarani.; sent7 & sent2 -> int3: the fact that the wirer does spot flesh but it is not a guarani does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the wirer is not a Heloise.; sent4 -> int6: the wirer does spot predestination but it does not nitrify if it is not a Heloise.; int5 & int6 -> int7: the wirer does spot predestination but it does not nitrify.; int7 -> hypothesis;
the wirer nitrifies.
sent5 -> int8: if the warhead does not weed violist then it does spot predestination and it is not a Typhoeus.;
$hypothesis$ = the wirer does not nitrify. ; $context$ = sent1: something does spot flesh and is not a kind of a guarani if it is a Heloise. sent2: that the directory does not weed violist hold. sent3: That the violist does not weed directory hold. sent4: something that is not a kind of a Heloise does spot predestination and does not nitrify. sent5: something does spot predestination but it is not a Typhoeus if it does not weed violist. sent6: the directory does not spot predestination if the warhead does spot predestination but it is not a kind of a Typhoeus. sent7: if the fact that the directory does not weed violist is right the fact that the wirer spots flesh and is not a guarani is wrong. ; $proof$ = 
sent1 -> int1: if the wirer is a Heloise then it spots flesh and is not a guarani.; void -> assump1: Let's assume that that the wirer is a Heloise is not incorrect.; int1 & assump1 -> int2: the wirer does spot flesh and is not a guarani.; sent7 & sent2 -> int3: the fact that the wirer does spot flesh but it is not a guarani does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the wirer is not a Heloise.; sent4 -> int6: the wirer does spot predestination but it does not nitrify if it is not a Heloise.; int5 & int6 -> int7: the wirer does spot predestination but it does not nitrify.; int7 -> hypothesis; __PROVED__