the fact that the mastoidness occurs and the ribbing brattice does not occur does not hold.
sent1: both the pubicness and the immortalizing gunnery occurs. sent2: the fact that the immortalizing Oxandra occurs and the foundation does not occur is wrong. sent3: if the fact that the detraction does not occur and the cooing irritation does not occur is not right then the cooing irritation happens. sent4: if the fact that the ribbing brattice occurs and the detraction occurs is not correct the ribbing brattice does not occur. sent5: that the detraction does not occur and the cooing irritation does not occur is wrong. sent6: if either the cooing irritation does not occur or the mastoidness does not occur or both then the cooing irritation does not occur. sent7: if the cooing irritation occurs and the pubicness occurs then the foundation does not occur. sent8: that the immortalizing gunnery does not occur or the pubicness does not occur or both yields the mastoid. sent9: that the immortalizing gunnery does not occur brings about that the immortalizing Willis and the pubicness happens.
sent1 -> int1: the pubicness occurs.; sent3 & sent5 -> int2: the cooing irritation occurs.; int1 & int2 -> int3: both the cooing irritation and the pubicness happens.; int3 & sent7 -> int4: the foundation does not occur.; void -> assump1: Let's assume that that the immortalizing Oxandra occurs is true.; int4 & assump1 -> int5: the immortalizing Oxandra but not the foundation happens.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the immortalizing Oxandra does not occur.;
the mastoid but not the ribbing brattice happens.
$hypothesis$ = the fact that the mastoidness occurs and the ribbing brattice does not occur does not hold. ; $context$ = sent1: both the pubicness and the immortalizing gunnery occurs. sent2: the fact that the immortalizing Oxandra occurs and the foundation does not occur is wrong. sent3: if the fact that the detraction does not occur and the cooing irritation does not occur is not right then the cooing irritation happens. sent4: if the fact that the ribbing brattice occurs and the detraction occurs is not correct the ribbing brattice does not occur. sent5: that the detraction does not occur and the cooing irritation does not occur is wrong. sent6: if either the cooing irritation does not occur or the mastoidness does not occur or both then the cooing irritation does not occur. sent7: if the cooing irritation occurs and the pubicness occurs then the foundation does not occur. sent8: that the immortalizing gunnery does not occur or the pubicness does not occur or both yields the mastoid. sent9: that the immortalizing gunnery does not occur brings about that the immortalizing Willis and the pubicness happens. ; $proof$ = 
sent1 -> int1: the pubicness occurs.; sent3 & sent5 -> int2: the cooing irritation occurs.; int1 & int2 -> int3: both the cooing irritation and the pubicness happens.; int3 & sent7 -> int4: the foundation does not occur.; void -> assump1: Let's assume that that the immortalizing Oxandra occurs is true.; int4 & assump1 -> int5: the immortalizing Oxandra but not the foundation happens.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the immortalizing Oxandra does not occur.; __UNKNOWN__