the notching does not occur.
sent1: the normalness occurs. sent2: if the fact that the normalness occurs is true that either the counting savageness does not occur or the enforceableness does not occur or both is wrong. sent3: the notch occurs if that either the counting savageness does not occur or the enforceableness does not occur or both is not true.
sent2 & sent1 -> int1: that the fact that the fact that either the counting savageness does not occur or the enforceableness does not occur or both is right is incorrect is true.; int1 & sent3 -> hypothesis;
$hypothesis$ = the notching does not occur. ; $context$ = sent1: the normalness occurs. sent2: if the fact that the normalness occurs is true that either the counting savageness does not occur or the enforceableness does not occur or both is wrong. sent3: the notch occurs if that either the counting savageness does not occur or the enforceableness does not occur or both is not true. ; $proof$ = 
sent2 & sent1 -> int1: that the fact that the fact that either the counting savageness does not occur or the enforceableness does not occur or both is right is incorrect is true.; int1 & sent3 -> hypothesis; __DISPROVED__