the fact that if the redshift happens then the activating chocolate does not occur and the shivering yawner does not occur is wrong.
sent1: if the bombing happens then the activating chocolate does not occur and the shivering yawner does not occur. sent2: that the activating chocolate happens is prevented by the bombing. sent3: if the nasopharyngealness happens then the uranoplasty does not occur and the activating phase-out does not occur. sent4: the activating chocolate does not occur and the shivering yawner happens if the redshift occurs. sent5: that the redshift happens prevents that the bombing does not occur. sent6: the pentavalentness occurs. sent7: that the activating Hoffman occurs yields that the belay does not occur and the penance does not occur. sent8: if that the shivering hairstreak occurs is not false the nasopharyngealness occurs. sent9: not the activating chocolate but the shivering yawner occurs. sent10: the anthropicness happens if the incoherentness happens. sent11: the shivering Depokene happens. sent12: the fact that the activating chocolate does not occur is not wrong if the redshift occurs. sent13: if the liaison occurs then the non-piezoelectricness and the non-petalousness happens. sent14: if the Dominicanness happens then the shivering centrex occurs. sent15: the subject does not occur and the windstorm does not occur if the judging occurs. sent16: if the bombing happens the activating chocolate does not occur and the shivering yawner happens. sent17: the hobby happens. sent18: the activating chocolate does not occur.
void -> assump1: Let's assume that that the redshift occurs is right.; sent5 & assump1 -> int1: the bombing occurs.; sent1 & int1 -> int2: the activating chocolate does not occur and the shivering yawner does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if the redshift happens then the activating chocolate does not occur and the shivering yawner does not occur is wrong. ; $context$ = sent1: if the bombing happens then the activating chocolate does not occur and the shivering yawner does not occur. sent2: that the activating chocolate happens is prevented by the bombing. sent3: if the nasopharyngealness happens then the uranoplasty does not occur and the activating phase-out does not occur. sent4: the activating chocolate does not occur and the shivering yawner happens if the redshift occurs. sent5: that the redshift happens prevents that the bombing does not occur. sent6: the pentavalentness occurs. sent7: that the activating Hoffman occurs yields that the belay does not occur and the penance does not occur. sent8: if that the shivering hairstreak occurs is not false the nasopharyngealness occurs. sent9: not the activating chocolate but the shivering yawner occurs. sent10: the anthropicness happens if the incoherentness happens. sent11: the shivering Depokene happens. sent12: the fact that the activating chocolate does not occur is not wrong if the redshift occurs. sent13: if the liaison occurs then the non-piezoelectricness and the non-petalousness happens. sent14: if the Dominicanness happens then the shivering centrex occurs. sent15: the subject does not occur and the windstorm does not occur if the judging occurs. sent16: if the bombing happens the activating chocolate does not occur and the shivering yawner happens. sent17: the hobby happens. sent18: the activating chocolate does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the redshift occurs is right.; sent5 & assump1 -> int1: the bombing occurs.; sent1 & int1 -> int2: the activating chocolate does not occur and the shivering yawner does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__