the fact that if that the Assault happens is correct then the zygodactylness occurs is not right.
sent1: the standing occurs if the fact that the roundhouse does not occur is not false. sent2: if the impinging Lycopus does not occur then not the viralness but the roundhouse happens. sent3: that the postnatalness happens and the impinging plugged occurs triggers the awnedness. sent4: if the fact that the roundhouse and the impinging Lycopus occurs is right the Assault does not occur. sent5: the metrification happens. sent6: the trigger happens if the reassembly happens. sent7: the impinging Lycopus happens. sent8: the Assault is brought about by that the roundhouse and the impinging Lycopus happens. sent9: that the stand happens prevents the non-zygodactylness. sent10: the impinging porphyry occurs. sent11: the Nigerian occurs. sent12: the refocusing and the colorimetry happens.
void -> assump2: Let's assume that the Assault occurs.; void -> assump1: Let's assume that the roundhouse happens.; assump1 & sent7 -> int1: the roundhouse occurs and the impinging Lycopus happens.; sent4 & int1 -> int2: that the Assault does not occur is correct.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the roundhouse does not occur is right.; sent1 & int4 -> int5: the fact that the stand occurs is not false.; sent9 & int5 -> int6: the zygodactylness happens.; [assump2] & int6 -> hypothesis;
the fact that the viralness does not occur is true.
$hypothesis$ = the fact that if that the Assault happens is correct then the zygodactylness occurs is not right. ; $context$ = sent1: the standing occurs if the fact that the roundhouse does not occur is not false. sent2: if the impinging Lycopus does not occur then not the viralness but the roundhouse happens. sent3: that the postnatalness happens and the impinging plugged occurs triggers the awnedness. sent4: if the fact that the roundhouse and the impinging Lycopus occurs is right the Assault does not occur. sent5: the metrification happens. sent6: the trigger happens if the reassembly happens. sent7: the impinging Lycopus happens. sent8: the Assault is brought about by that the roundhouse and the impinging Lycopus happens. sent9: that the stand happens prevents the non-zygodactylness. sent10: the impinging porphyry occurs. sent11: the Nigerian occurs. sent12: the refocusing and the colorimetry happens. ; $proof$ = 
void -> assump2: Let's assume that the Assault occurs.; void -> assump1: Let's assume that the roundhouse happens.; assump1 & sent7 -> int1: the roundhouse occurs and the impinging Lycopus happens.; sent4 & int1 -> int2: that the Assault does not occur is correct.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the roundhouse does not occur is right.; sent1 & int4 -> int5: the fact that the stand occurs is not false.; sent9 & int5 -> int6: the zygodactylness happens.; [assump2] & int6 -> hypothesis; __DISPROVED__