the rigging petiole happens.
sent1: that either the non-metamorphicness or the disbandment or both occurs is false. sent2: that the inexactness and/or the excavation happens is not correct. sent3: that the rolling Polypedatidae occurs is triggered by the keystroke. sent4: that the disbandment does not occur hold. sent5: the keystroke happens if the farting cowrie does not occur and the inboardness occurs. sent6: the inboardness occurs. sent7: the rigging petiole occurs if the rolling Polypedatidae happens. sent8: if the eponymousness does not occur and the force does not occur then the metamorphicness does not occur. sent9: the amnesic does not occur if the disbandment and/or the non-amnesic occurs.
void -> assump1: Let's assume that the fact that the eponymousness does not occur and the forcing does not occur is right.; sent8 & assump1 -> int1: the metamorphicness does not occur.; int1 -> int2: either the metamorphicness does not occur or the disbandment occurs or both.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the eponymousness does not occur and the force does not occur does not hold.;
the uncleanness and the non-amnesicness occurs.
$hypothesis$ = the rigging petiole happens. ; $context$ = sent1: that either the non-metamorphicness or the disbandment or both occurs is false. sent2: that the inexactness and/or the excavation happens is not correct. sent3: that the rolling Polypedatidae occurs is triggered by the keystroke. sent4: that the disbandment does not occur hold. sent5: the keystroke happens if the farting cowrie does not occur and the inboardness occurs. sent6: the inboardness occurs. sent7: the rigging petiole occurs if the rolling Polypedatidae happens. sent8: if the eponymousness does not occur and the force does not occur then the metamorphicness does not occur. sent9: the amnesic does not occur if the disbandment and/or the non-amnesic occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the eponymousness does not occur and the forcing does not occur is right.; sent8 & assump1 -> int1: the metamorphicness does not occur.; int1 -> int2: either the metamorphicness does not occur or the disbandment occurs or both.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the eponymousness does not occur and the force does not occur does not hold.; __UNKNOWN__