the Argiveness happens.
sent1: that the simplifying does not occur prevents that the Argive occurs. sent2: if the minimalness does not occur the germiness does not occur. sent3: if the kittee does not occur both the iliacness and the enlivening happens. sent4: the trivializing fatback occurs. sent5: the iliacness does not occur if the chirp happens and the trivializing fatback happens. sent6: the simplifying does not occur if the cautioning does not occur. sent7: that the chirp does not occur and/or that the cautioning does not occur triggers that the simplifying does not occur. sent8: that the Argive and the chirp occurs is brought about by that the trivializing fatback does not occur. sent9: the kittee does not occur.
void -> assump1: Let's assume that the chirp occurs.; assump1 & sent4 -> int1: both the chirp and the trivializing fatback happens.; int1 & sent5 -> int2: the iliacness does not occur.; sent3 & sent9 -> int3: the iliacness and the enlivening occurs.; int3 -> int4: the iliacness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the chirp does not occur.; int6 -> int7: the chirp does not occur or the caution does not occur or both.; int7 & sent7 -> int8: that the simplifying does not occur hold.; int8 & sent1 -> hypothesis;
the Argive happens.
$hypothesis$ = the Argiveness happens. ; $context$ = sent1: that the simplifying does not occur prevents that the Argive occurs. sent2: if the minimalness does not occur the germiness does not occur. sent3: if the kittee does not occur both the iliacness and the enlivening happens. sent4: the trivializing fatback occurs. sent5: the iliacness does not occur if the chirp happens and the trivializing fatback happens. sent6: the simplifying does not occur if the cautioning does not occur. sent7: that the chirp does not occur and/or that the cautioning does not occur triggers that the simplifying does not occur. sent8: that the Argive and the chirp occurs is brought about by that the trivializing fatback does not occur. sent9: the kittee does not occur. ; $proof$ = 
void -> assump1: Let's assume that the chirp occurs.; assump1 & sent4 -> int1: both the chirp and the trivializing fatback happens.; int1 & sent5 -> int2: the iliacness does not occur.; sent3 & sent9 -> int3: the iliacness and the enlivening occurs.; int3 -> int4: the iliacness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the chirp does not occur.; int6 -> int7: the chirp does not occur or the caution does not occur or both.; int7 & sent7 -> int8: that the simplifying does not occur hold.; int8 & sent1 -> hypothesis; __DISPROVED__