the Crow does not occur.
sent1: if the laparotomy does not occur but the suffering stickball occurs then the smell does not occur. sent2: not the laparotomy but the suffering stickball happens if the housing spallation happens. sent3: the quartering happens. sent4: the housing spallation happens if the fact that the quartering does not occur and the roughness does not occur is not right. sent5: that the smelling does not occur yields that the Crow and the suffering photoemission happens.
void -> assump1: Let's assume that the quartering does not occur and the roughness does not occur.; assump1 -> int1: the quartering does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the quartering does not occur and the roughness does not occur does not hold.; sent4 & int3 -> int4: the housing spallation occurs.; sent2 & int4 -> int5: not the laparotomy but the suffering stickball occurs.; sent1 & int5 -> int6: the smelling does not occur.; sent5 & int6 -> int7: the Crow and the suffering photoemission happens.; int7 -> hypothesis;
$hypothesis$ = the Crow does not occur. ; $context$ = sent1: if the laparotomy does not occur but the suffering stickball occurs then the smell does not occur. sent2: not the laparotomy but the suffering stickball happens if the housing spallation happens. sent3: the quartering happens. sent4: the housing spallation happens if the fact that the quartering does not occur and the roughness does not occur is not right. sent5: that the smelling does not occur yields that the Crow and the suffering photoemission happens. ; $proof$ = 
void -> assump1: Let's assume that the quartering does not occur and the roughness does not occur.; assump1 -> int1: the quartering does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the quartering does not occur and the roughness does not occur does not hold.; sent4 & int3 -> int4: the housing spallation occurs.; sent2 & int4 -> int5: not the laparotomy but the suffering stickball occurs.; sent1 & int5 -> int6: the smelling does not occur.; sent5 & int6 -> int7: the Crow and the suffering photoemission happens.; int7 -> hypothesis; __DISPROVED__