the saurianness does not occur.
sent1: if the retardation does not occur then the caroling fungus and the abuse happens. sent2: if the coping creationism does not occur the fact that the billiardsness occurs and the accumulating happens does not hold. sent3: if that both the billiardsness and the accumulating happens does not hold the billiardsness does not occur. sent4: if the sublunarness happens then the consolidation occurs. sent5: if that the dance occurs and the burglarizing does not occur is wrong then the insignificantness does not occur. sent6: if the lurching Umbrian does not occur the fact that the disparagement does not occur and the convexness does not occur is wrong. sent7: the sensitization happens. sent8: the lurching Umbrian does not occur if the rectalness does not occur. sent9: if the insignificantness does not occur then the fact that not the assault but the coping creationism happens does not hold. sent10: the fact that if the fact that the assault does not occur but the coping creationism occurs is false the coping creationism does not occur is true. sent11: the non-chasteness is caused by that the non-locker-roomness or the non-latterness or both occurs. sent12: either the lurching curie does not occur or the saurianness does not occur or both if the consolidation occurs. sent13: if the burnup does not occur the retardation does not occur. sent14: the lurching curie does not occur if the coping Watson occurs and the stearicness occurs. sent15: if that that the disparagement does not occur and the convexness does not occur does not hold is right then the fact that the disparagement happens is not false. sent16: if the fact that that the caroling grits and the non-unidirectionalness happens is wrong is not false the burnup does not occur. sent17: the latter occurs. sent18: that the latter does not occur yields the saurianness. sent19: the compressing occurs and the sublunarness occurs if the coping buckram does not occur. sent20: that the stearicness happens and the sensitization does not occur is not true if the coping Watson does not occur. sent21: if the lurching curie does not occur the saurian does not occur. sent22: if the billiardsness does not occur the fact that the caroling grits happens but the unidirectionalness does not occur does not hold. sent23: if the disparagement occurs then the fact that that the dance occurs and the burglarizing does not occur is wrong is true. sent24: if the abusing occurs then the coping buckram does not occur. sent25: that both the latterness and the locker-roomness happens prevents the sensitization. sent26: that the stearicness does not occur is prevented by that the locker-roomness does not occur.
void -> assump1: Let's assume that the locker-roomness occurs.; sent17 & assump1 -> int1: the latterness and the locker-roomness happens.; int1 & sent25 -> int2: the sensitization does not occur.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the locker-roomness does not occur.; int4 & sent26 -> int5: the stearicness occurs.;
the chasteness does not occur.
$hypothesis$ = the saurianness does not occur. ; $context$ = sent1: if the retardation does not occur then the caroling fungus and the abuse happens. sent2: if the coping creationism does not occur the fact that the billiardsness occurs and the accumulating happens does not hold. sent3: if that both the billiardsness and the accumulating happens does not hold the billiardsness does not occur. sent4: if the sublunarness happens then the consolidation occurs. sent5: if that the dance occurs and the burglarizing does not occur is wrong then the insignificantness does not occur. sent6: if the lurching Umbrian does not occur the fact that the disparagement does not occur and the convexness does not occur is wrong. sent7: the sensitization happens. sent8: the lurching Umbrian does not occur if the rectalness does not occur. sent9: if the insignificantness does not occur then the fact that not the assault but the coping creationism happens does not hold. sent10: the fact that if the fact that the assault does not occur but the coping creationism occurs is false the coping creationism does not occur is true. sent11: the non-chasteness is caused by that the non-locker-roomness or the non-latterness or both occurs. sent12: either the lurching curie does not occur or the saurianness does not occur or both if the consolidation occurs. sent13: if the burnup does not occur the retardation does not occur. sent14: the lurching curie does not occur if the coping Watson occurs and the stearicness occurs. sent15: if that that the disparagement does not occur and the convexness does not occur does not hold is right then the fact that the disparagement happens is not false. sent16: if the fact that that the caroling grits and the non-unidirectionalness happens is wrong is not false the burnup does not occur. sent17: the latter occurs. sent18: that the latter does not occur yields the saurianness. sent19: the compressing occurs and the sublunarness occurs if the coping buckram does not occur. sent20: that the stearicness happens and the sensitization does not occur is not true if the coping Watson does not occur. sent21: if the lurching curie does not occur the saurian does not occur. sent22: if the billiardsness does not occur the fact that the caroling grits happens but the unidirectionalness does not occur does not hold. sent23: if the disparagement occurs then the fact that that the dance occurs and the burglarizing does not occur is wrong is true. sent24: if the abusing occurs then the coping buckram does not occur. sent25: that both the latterness and the locker-roomness happens prevents the sensitization. sent26: that the stearicness does not occur is prevented by that the locker-roomness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the locker-roomness occurs.; sent17 & assump1 -> int1: the latterness and the locker-roomness happens.; int1 & sent25 -> int2: the sensitization does not occur.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the locker-roomness does not occur.; int4 & sent26 -> int5: the stearicness occurs.; __UNKNOWN__