the fact that the whanging Nudibranchia does not occur and the whanging invertebrate does not occur is not true.
sent1: the whanging invertebrate does not occur if that the disinvestment and the whanging invertebrate happens is not true. sent2: if that either the cataplasticness does not occur or the Saxonness happens or both does not hold that the whanging Nudibranchia does not occur is right. sent3: that not the plonk but the continualness occurs is wrong. sent4: if the whanging showboat does not occur then that the disinvestment and the whanging invertebrate occurs does not hold. sent5: that the scaleneness but not the disrespecting screenwriter occurs is false. sent6: if the Saxon and the whanging showboat happens then the match does not occur. sent7: the fact that either the trouble occurs or the undertow does not occur or both does not hold. sent8: if the cataplasticness does not occur the fact that the whanging Nudibranchia does not occur and the whanging invertebrate does not occur does not hold. sent9: that the Laos does not occur and the importunity does not occur is incorrect. sent10: the fact that the nonalcoholicness does not occur and the hiving does not occur is wrong. sent11: the fact that the theology does not occur is not false if that the scaleneness occurs and the disrespecting screenwriter does not occur does not hold. sent12: the match happens if the Laos occurs. sent13: if the theology does not occur then the whanging showboat occurs and the telluricness happens. sent14: if the telluricness does not occur and the matching does not occur the whanging showboat does not occur. sent15: the Laos happens if the fact that the Laos does not occur and the importunity does not occur does not hold. sent16: the disinvestment does not occur if the fact that either the trouble occurs or the undertow does not occur or both is wrong.
sent16 & sent7 -> int1: the disinvestment does not occur.; void -> assump1: Let's assume that the cataplasticness happens.; int1 & assump1 -> int2: not the disinvestment but the cataplasticness occurs.; sent11 & sent5 -> int3: the theology does not occur.; sent13 & int3 -> int4: the whanging showboat happens and the telluricness happens.; int4 -> int5: the whanging showboat happens.; sent15 & sent9 -> int6: the Laosness occurs.; sent12 & int6 -> int7: the fact that the match happens is not false.;
the fact that the whanging Nudibranchia does not occur and the whanging invertebrate does not occur is not false.
$hypothesis$ = the fact that the whanging Nudibranchia does not occur and the whanging invertebrate does not occur is not true. ; $context$ = sent1: the whanging invertebrate does not occur if that the disinvestment and the whanging invertebrate happens is not true. sent2: if that either the cataplasticness does not occur or the Saxonness happens or both does not hold that the whanging Nudibranchia does not occur is right. sent3: that not the plonk but the continualness occurs is wrong. sent4: if the whanging showboat does not occur then that the disinvestment and the whanging invertebrate occurs does not hold. sent5: that the scaleneness but not the disrespecting screenwriter occurs is false. sent6: if the Saxon and the whanging showboat happens then the match does not occur. sent7: the fact that either the trouble occurs or the undertow does not occur or both does not hold. sent8: if the cataplasticness does not occur the fact that the whanging Nudibranchia does not occur and the whanging invertebrate does not occur does not hold. sent9: that the Laos does not occur and the importunity does not occur is incorrect. sent10: the fact that the nonalcoholicness does not occur and the hiving does not occur is wrong. sent11: the fact that the theology does not occur is not false if that the scaleneness occurs and the disrespecting screenwriter does not occur does not hold. sent12: the match happens if the Laos occurs. sent13: if the theology does not occur then the whanging showboat occurs and the telluricness happens. sent14: if the telluricness does not occur and the matching does not occur the whanging showboat does not occur. sent15: the Laos happens if the fact that the Laos does not occur and the importunity does not occur does not hold. sent16: the disinvestment does not occur if the fact that either the trouble occurs or the undertow does not occur or both is wrong. ; $proof$ = 
sent16 & sent7 -> int1: the disinvestment does not occur.; void -> assump1: Let's assume that the cataplasticness happens.; int1 & assump1 -> int2: not the disinvestment but the cataplasticness occurs.; sent11 & sent5 -> int3: the theology does not occur.; sent13 & int3 -> int4: the whanging showboat happens and the telluricness happens.; int4 -> int5: the whanging showboat happens.; sent15 & sent9 -> int6: the Laosness occurs.; sent12 & int6 -> int7: the fact that the match happens is not false.; __UNKNOWN__