if that the restraining Gonorhynchidae happens is true the infection does not occur and the surmising prerequisite does not occur.
sent1: the pratfall happens and the prolateness happens. sent2: the thimblerig occurs. sent3: that the calendricness happens is prevented by that the invocation happens. sent4: the fact that the surmising internee does not occur is true. sent5: the fork does not occur if the extramuralness occurs. sent6: if both the regularization and the hairiness happens the outstaring croquet happens. sent7: the tonsure does not occur. sent8: the infection does not occur if the surmising Coeloglossum does not occur. sent9: that the raffle happens prevents the impaction. sent10: that the surmising Coeloglossum happens and the prolateness happens prevents the restraining Gonorhynchidae. sent11: if the prolateness does not occur then the pratfall occurs and the outstaring ways occurs. sent12: if the impaction occurs not the extramuralness but the sepaloidness occurs. sent13: if the unconquerableness occurs the magnifying does not occur. sent14: that the deanship and the nonproprietariness occurs yields that the restraining Ichneumonidae does not occur. sent15: that the mumbling does not occur and the outstaring Monet does not occur is triggered by that the coming accordion does not occur. sent16: the Cubanness happens. sent17: if the infection occurs then that the restraining Gonorhynchidae occurs but the surmising Coeloglossum does not occur is wrong. sent18: the Austrian occurs. sent19: the surmising succinylcholine does not occur.
void -> assump2: Let's assume that the restraining Gonorhynchidae occurs.; void -> assump1: Let's assume that the surmising Coeloglossum happens.; sent1 -> int1: the fact that the prolateness happens is true.; assump1 & int1 -> int2: both the surmising Coeloglossum and the prolateness happens.; sent10 & int2 -> int3: the restraining Gonorhynchidae does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the surmising Coeloglossum does not occur.;
the outstaring ways occurs.
$hypothesis$ = if that the restraining Gonorhynchidae happens is true the infection does not occur and the surmising prerequisite does not occur. ; $context$ = sent1: the pratfall happens and the prolateness happens. sent2: the thimblerig occurs. sent3: that the calendricness happens is prevented by that the invocation happens. sent4: the fact that the surmising internee does not occur is true. sent5: the fork does not occur if the extramuralness occurs. sent6: if both the regularization and the hairiness happens the outstaring croquet happens. sent7: the tonsure does not occur. sent8: the infection does not occur if the surmising Coeloglossum does not occur. sent9: that the raffle happens prevents the impaction. sent10: that the surmising Coeloglossum happens and the prolateness happens prevents the restraining Gonorhynchidae. sent11: if the prolateness does not occur then the pratfall occurs and the outstaring ways occurs. sent12: if the impaction occurs not the extramuralness but the sepaloidness occurs. sent13: if the unconquerableness occurs the magnifying does not occur. sent14: that the deanship and the nonproprietariness occurs yields that the restraining Ichneumonidae does not occur. sent15: that the mumbling does not occur and the outstaring Monet does not occur is triggered by that the coming accordion does not occur. sent16: the Cubanness happens. sent17: if the infection occurs then that the restraining Gonorhynchidae occurs but the surmising Coeloglossum does not occur is wrong. sent18: the Austrian occurs. sent19: the surmising succinylcholine does not occur. ; $proof$ = 
void -> assump2: Let's assume that the restraining Gonorhynchidae occurs.; void -> assump1: Let's assume that the surmising Coeloglossum happens.; sent1 -> int1: the fact that the prolateness happens is true.; assump1 & int1 -> int2: both the surmising Coeloglossum and the prolateness happens.; sent10 & int2 -> int3: the restraining Gonorhynchidae does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the surmising Coeloglossum does not occur.; __UNKNOWN__