the fact that the strangulating outgoing does not occur and the postnatalness does not occur does not hold.
sent1: if the tsunami does not occur then the strangulating outgoing does not occur and the postnatalness does not occur. sent2: if the obtuseness does not occur that the strangulating outgoing does not occur and the postnatalness does not occur is not true. sent3: the resisting formalwear but not the resisting dragonet occurs. sent4: the tsunami occurs and the resisting otoscope occurs. sent5: the usage occurs if the resisting formalwear occurs and the resisting dragonet does not occur.
sent5 & sent3 -> int1: the usage happens.; sent4 -> int2: the tsunami happens.; int1 & int2 -> int3: the usage happens and the tsunami occurs.;
the strangulating outgoing does not occur and the postnatalness does not occur.
$hypothesis$ = the fact that the strangulating outgoing does not occur and the postnatalness does not occur does not hold. ; $context$ = sent1: if the tsunami does not occur then the strangulating outgoing does not occur and the postnatalness does not occur. sent2: if the obtuseness does not occur that the strangulating outgoing does not occur and the postnatalness does not occur is not true. sent3: the resisting formalwear but not the resisting dragonet occurs. sent4: the tsunami occurs and the resisting otoscope occurs. sent5: the usage occurs if the resisting formalwear occurs and the resisting dragonet does not occur. ; $proof$ = 
sent5 & sent3 -> int1: the usage happens.; sent4 -> int2: the tsunami happens.; int1 & int2 -> int3: the usage happens and the tsunami occurs.; __UNKNOWN__