the fact that if the fact that the drupaceousness does not occur is right then the nosh does not occur is wrong.
sent1: if the drupaceousness does not occur then the noshing occurs. sent2: that the nosh happens brings about that the drupaceousness happens. sent3: if the Armageddon occurs then the attitude does not occur. sent4: that the message does not occur hold if the bovine occurs.
void -> assump1: Let's assume that the noshing happens.; sent2 & assump1 -> int1: the drupaceousness happens.; void -> assump2: Let's assume that the drupaceousness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the nosh does not occur hold.; [assump2] & int3 -> hypothesis;
$hypothesis$ = the fact that if the fact that the drupaceousness does not occur is right then the nosh does not occur is wrong. ; $context$ = sent1: if the drupaceousness does not occur then the noshing occurs. sent2: that the nosh happens brings about that the drupaceousness happens. sent3: if the Armageddon occurs then the attitude does not occur. sent4: that the message does not occur hold if the bovine occurs. ; $proof$ = 
void -> assump1: Let's assume that the noshing happens.; sent2 & assump1 -> int1: the drupaceousness happens.; void -> assump2: Let's assume that the drupaceousness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the nosh does not occur hold.; [assump2] & int3 -> hypothesis; __DISPROVED__