the fact that if the bifilarness happens the expulsion occurs is false.
sent1: the bifilarness happens and the conjunctiveness happens. sent2: if the fact that the bifilarness does not occur and the conjunctiveness occurs is false then the expulsion occurs. sent3: the spraying happens if that not the retrieving but the decreasing Schizachyrium happens is not true. sent4: if not the bifilarness but the conjunctiveness happens then the expulsion occurs.
void -> assump2: Let's assume that both the non-bifilarness and the conjunctiveness occurs.; assump2 -> int1: the bifilarness does not occur.; void -> assump1: Let's assume that the fact that the bifilarness occurs hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the non-bifilarness and the conjunctiveness happens does not hold.; int3 & sent2 -> int4: the expulsion happens.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the bifilarness happens the expulsion occurs is false. ; $context$ = sent1: the bifilarness happens and the conjunctiveness happens. sent2: if the fact that the bifilarness does not occur and the conjunctiveness occurs is false then the expulsion occurs. sent3: the spraying happens if that not the retrieving but the decreasing Schizachyrium happens is not true. sent4: if not the bifilarness but the conjunctiveness happens then the expulsion occurs. ; $proof$ = 
void -> assump2: Let's assume that both the non-bifilarness and the conjunctiveness occurs.; assump2 -> int1: the bifilarness does not occur.; void -> assump1: Let's assume that the fact that the bifilarness occurs hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the non-bifilarness and the conjunctiveness happens does not hold.; int3 & sent2 -> int4: the expulsion happens.; [assump1] & int4 -> hypothesis; __DISPROVED__