if the noctuid is pentecostal the adducer is not a kind of a drinking and is not a spirogram.
sent1: the adducer is not a drinking and it is not a spirogram if the noctuid does not gate Aristotelianism. sent2: the adducer does not drink if the fact that the noctuid is pentecostal is not wrong. sent3: the adducer is not a spirogram and gates Aristotelianism if the fact that the noctuid is a drinking is not wrong. sent4: the noctuid is a kind of non-pentecostal thing that is unacceptable if it does gate Aristotelianism. sent5: the adducer is not a drinking and is not unacceptable if the noctuid gates Aristotelianism. sent6: the adducer is not a kind of a drinking if the noctuid does not gate Aristotelianism.
void -> assump1: Let's assume that the noctuid is pentecostal.; void -> assump2: Let's assume that the noctuid gates Aristotelianism.; sent4 & assump2 -> int1: the noctuid is non-pentecostal thing that is unacceptable.; int1 -> int2: the noctuid is not pentecostal.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the noctuid does not gate Aristotelianism.; sent1 & int4 -> int5: the adducer is not a drinking and it is not a spirogram.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the noctuid is pentecostal the adducer is not a kind of a drinking and is not a spirogram. ; $context$ = sent1: the adducer is not a drinking and it is not a spirogram if the noctuid does not gate Aristotelianism. sent2: the adducer does not drink if the fact that the noctuid is pentecostal is not wrong. sent3: the adducer is not a spirogram and gates Aristotelianism if the fact that the noctuid is a drinking is not wrong. sent4: the noctuid is a kind of non-pentecostal thing that is unacceptable if it does gate Aristotelianism. sent5: the adducer is not a drinking and is not unacceptable if the noctuid gates Aristotelianism. sent6: the adducer is not a kind of a drinking if the noctuid does not gate Aristotelianism. ; $proof$ = 
void -> assump1: Let's assume that the noctuid is pentecostal.; void -> assump2: Let's assume that the noctuid gates Aristotelianism.; sent4 & assump2 -> int1: the noctuid is non-pentecostal thing that is unacceptable.; int1 -> int2: the noctuid is not pentecostal.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the noctuid does not gate Aristotelianism.; sent1 & int4 -> int5: the adducer is not a drinking and it is not a spirogram.; [assump1] & int5 -> hypothesis; __PROVED__