the fact that the Igbo is a kind of non-electoral thing that does not tweak is not right.
sent1: if the Igbo is non-electoral thing that does not tweak then it is a deliverable. sent2: that that the Igbo is both not non-deliverable and gemmiferous is right is not true. sent3: the filter does not tweak.
void -> assump1: Let's assume that the Igbo is not electoral and does not tweak.; sent1 & assump1 -> int1: the Igbo is a kind of a deliverable.;
$hypothesis$ = the fact that the Igbo is a kind of non-electoral thing that does not tweak is not right. ; $context$ = sent1: if the Igbo is non-electoral thing that does not tweak then it is a deliverable. sent2: that that the Igbo is both not non-deliverable and gemmiferous is right is not true. sent3: the filter does not tweak. ; $proof$ = 
void -> assump1: Let's assume that the Igbo is not electoral and does not tweak.; sent1 & assump1 -> int1: the Igbo is a kind of a deliverable.; __UNKNOWN__