that the factorizing microprocessor happens and the headshake occurs triggers that the factorizing construction does not occur.
sent1: the countermand does not occur. sent2: that if the neuralgicness occurs the fact that the factorizing construction does not occur but the overproduction happens does not hold is correct. sent3: if both the headshake and the factorizing construction happens the overproduction does not occur. sent4: the obscuring Leccinum and the factorizing microprocessor happens if the headshake does not occur. sent5: the factorizing microprocessor happens. sent6: if the fact that the factorizing microprocessor happens and the headshake happens is right the fact that the factorizing construction happens is true.
void -> assump2: Let's assume that the factorizing microprocessor and the headshake happens.; assump2 -> int1: the headshake happens.; void -> assump1: Let's assume that the factorizing construction happens.; int1 & assump1 -> int2: the headshake happens and the factorizing construction happens.; int2 & sent3 -> int3: the overproduction does not occur.;
the obscuring Leccinum occurs.
$hypothesis$ = that the factorizing microprocessor happens and the headshake occurs triggers that the factorizing construction does not occur. ; $context$ = sent1: the countermand does not occur. sent2: that if the neuralgicness occurs the fact that the factorizing construction does not occur but the overproduction happens does not hold is correct. sent3: if both the headshake and the factorizing construction happens the overproduction does not occur. sent4: the obscuring Leccinum and the factorizing microprocessor happens if the headshake does not occur. sent5: the factorizing microprocessor happens. sent6: if the fact that the factorizing microprocessor happens and the headshake happens is right the fact that the factorizing construction happens is true. ; $proof$ = 
void -> assump2: Let's assume that the factorizing microprocessor and the headshake happens.; assump2 -> int1: the headshake happens.; void -> assump1: Let's assume that the factorizing construction happens.; int1 & assump1 -> int2: the headshake happens and the factorizing construction happens.; int2 & sent3 -> int3: the overproduction does not occur.; __UNKNOWN__