the normotensiveness occurs.
sent1: if the fact that both the transposition and the non-normotensiveness happens is wrong then the removal does not occur. sent2: if the Frenchifying trigger does not occur and the patrol does not occur then the invitationalness does not occur. sent3: if that the fact that the miscarrying accent and the non-halfness occurs is right does not hold the invitationalness happens. sent4: the fact that both the transposition and the non-normotensiveness occurs is not correct if the dulling does not occur. sent5: the fact that both the miscarrying accent and the non-halfness happens is false. sent6: the dulling occurs and the normotensiveness occurs if the transposition does not occur. sent7: if both the Crow and the non-invitationalness occurs then the hearing gametophore occurs. sent8: the fact that the dullness does not occur hold if the half but not the miscarrying accent happens. sent9: if the Crow and/or the removal occurs then the transposition does not occur.
void -> assump1: Let's assume that the Frenchifying trigger does not occur and the patrolling does not occur.; sent2 & assump1 -> int1: the fact that the invitationalness does not occur is correct.; sent3 & sent5 -> int2: the invitationalness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Frenchifying trigger does not occur and the patrol does not occur is incorrect.;
the hearing gametophore occurs.
$hypothesis$ = the normotensiveness occurs. ; $context$ = sent1: if the fact that both the transposition and the non-normotensiveness happens is wrong then the removal does not occur. sent2: if the Frenchifying trigger does not occur and the patrol does not occur then the invitationalness does not occur. sent3: if that the fact that the miscarrying accent and the non-halfness occurs is right does not hold the invitationalness happens. sent4: the fact that both the transposition and the non-normotensiveness occurs is not correct if the dulling does not occur. sent5: the fact that both the miscarrying accent and the non-halfness happens is false. sent6: the dulling occurs and the normotensiveness occurs if the transposition does not occur. sent7: if both the Crow and the non-invitationalness occurs then the hearing gametophore occurs. sent8: the fact that the dullness does not occur hold if the half but not the miscarrying accent happens. sent9: if the Crow and/or the removal occurs then the transposition does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Frenchifying trigger does not occur and the patrolling does not occur.; sent2 & assump1 -> int1: the fact that the invitationalness does not occur is correct.; sent3 & sent5 -> int2: the invitationalness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Frenchifying trigger does not occur and the patrol does not occur is incorrect.; __UNKNOWN__