the boarding Nycticebus happens.
sent1: the jetting dishwasher happens. sent2: if the immortal does not occur the intertwining occurs and the gale happens. sent3: if the fact that the immortal happens but the gale does not occur is not right then the boarding Nycticebus happens. sent4: if the intertwining occurs the fact that not the jetting dishwasher but the attack occurs does not hold. sent5: the diminution does not occur and the immortal does not occur if the redeploying migrator does not occur. sent6: if the intertwining does not occur the fact that the immortalness but not the gale happens is not right.
void -> assump1: Let's assume that the attacking does not occur and the jetting dishwasher does not occur.; assump1 -> int1: the jetting dishwasher does not occur.; sent1 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that that the attack does not occur and the jetting dishwasher does not occur is true does not hold.;
the boarding Nycticebus does not occur.
$hypothesis$ = the boarding Nycticebus happens. ; $context$ = sent1: the jetting dishwasher happens. sent2: if the immortal does not occur the intertwining occurs and the gale happens. sent3: if the fact that the immortal happens but the gale does not occur is not right then the boarding Nycticebus happens. sent4: if the intertwining occurs the fact that not the jetting dishwasher but the attack occurs does not hold. sent5: the diminution does not occur and the immortal does not occur if the redeploying migrator does not occur. sent6: if the intertwining does not occur the fact that the immortalness but not the gale happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the attacking does not occur and the jetting dishwasher does not occur.; assump1 -> int1: the jetting dishwasher does not occur.; sent1 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that that the attack does not occur and the jetting dishwasher does not occur is true does not hold.; __UNKNOWN__