the fact that if that the signing microsecond occurs is not false then that the Grace does not occur and the baccateness does not occur is false is not true.
sent1: if the fact that the companying symmetry and the Hadith happens does not hold then the Hadith does not occur. sent2: the blasting does not occur if the fact that both the blasting and the signing microsecond occurs is not correct. sent3: if the Grace does not occur and the baccateness does not occur then that the blasting occurs hold. sent4: if the Romanizing does not occur the fact that the impulse happens and the winkling does not occur does not hold. sent5: the signing microsecond does not occur if both the crow and the Hadith occurs. sent6: the fact that both the companying symmetry and the Hadith occurs does not hold if the SNP does not occur. sent7: the SNP does not occur if the fact that the impulse happens and the winkling does not occur is not right. sent8: the blasting results in the crow. sent9: the fact that both the Grace and the non-baccateness occurs does not hold. sent10: the Hadith happens.
void -> assump1: Let's assume that the Grace does not occur and the baccateness does not occur.; sent3 & assump1 -> int1: the blast happens.; int1 & sent8 -> int2: the crow happens.; int2 & sent10 -> int3: the crowing and the Hadith happens.; int3 & sent5 -> int4: the signing microsecond does not occur.; void -> assump2: Let's assume that the signing microsecond occurs.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the Grace does not occur and the baccateness does not occur is wrong.; [assump2] & int6 -> hypothesis;
the regeneration happens.
$hypothesis$ = the fact that if that the signing microsecond occurs is not false then that the Grace does not occur and the baccateness does not occur is false is not true. ; $context$ = sent1: if the fact that the companying symmetry and the Hadith happens does not hold then the Hadith does not occur. sent2: the blasting does not occur if the fact that both the blasting and the signing microsecond occurs is not correct. sent3: if the Grace does not occur and the baccateness does not occur then that the blasting occurs hold. sent4: if the Romanizing does not occur the fact that the impulse happens and the winkling does not occur does not hold. sent5: the signing microsecond does not occur if both the crow and the Hadith occurs. sent6: the fact that both the companying symmetry and the Hadith occurs does not hold if the SNP does not occur. sent7: the SNP does not occur if the fact that the impulse happens and the winkling does not occur is not right. sent8: the blasting results in the crow. sent9: the fact that both the Grace and the non-baccateness occurs does not hold. sent10: the Hadith happens. ; $proof$ = 
void -> assump1: Let's assume that the Grace does not occur and the baccateness does not occur.; sent3 & assump1 -> int1: the blast happens.; int1 & sent8 -> int2: the crow happens.; int2 & sent10 -> int3: the crowing and the Hadith happens.; int3 & sent5 -> int4: the signing microsecond does not occur.; void -> assump2: Let's assume that the signing microsecond occurs.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the Grace does not occur and the baccateness does not occur is wrong.; [assump2] & int6 -> hypothesis; __DISPROVED__