the compacting snowfield happens.
sent1: if the fact that the non-biblicalness and the non-holographicness occurs is false then that the dualisticness does not occur is not false. sent2: if the absentness occurs then the logging does not occur. sent3: the occulting or the Aegeanness or both brings about that the BAR does not occur. sent4: the fact that the compacting dependability does not occur and the branch does not occur does not hold. sent5: if that the myringotomy does not occur is right then the investigating autographed happens. sent6: that the non-biblicalness and the non-holographicness happens is not true if the BAR does not occur. sent7: if the dualisticness does not occur then the fact that the compacting snowfield occurs is true. sent8: the biblicalness does not occur if both the compacting snowfield and the non-dualisticness occurs. sent9: the fact that the occulting occurs is not wrong. sent10: either the occulting does not occur or the Aegeanness does not occur or both if the BAR happens. sent11: that the compacting snowfield does not occur and the occulting does not occur is caused by that the Aegeanness happens. sent12: that the eviscerating does not occur is not wrong. sent13: if the fact that the point-of-saleness occurs hold then both the compacting snowfield and the non-dualisticness happens. sent14: the non-dualisticness is triggered by the holographicness.
sent9 -> int1: the occult and/or the Aegeanness occurs.; sent3 & int1 -> int2: the BAR does not occur.; sent6 & int2 -> int3: that both the non-biblicalness and the non-holographicness happens is not right.; sent1 & int3 -> int4: the dualisticness does not occur.; sent7 & int4 -> hypothesis;
the compacting snowfield does not occur.
$hypothesis$ = the compacting snowfield happens. ; $context$ = sent1: if the fact that the non-biblicalness and the non-holographicness occurs is false then that the dualisticness does not occur is not false. sent2: if the absentness occurs then the logging does not occur. sent3: the occulting or the Aegeanness or both brings about that the BAR does not occur. sent4: the fact that the compacting dependability does not occur and the branch does not occur does not hold. sent5: if that the myringotomy does not occur is right then the investigating autographed happens. sent6: that the non-biblicalness and the non-holographicness happens is not true if the BAR does not occur. sent7: if the dualisticness does not occur then the fact that the compacting snowfield occurs is true. sent8: the biblicalness does not occur if both the compacting snowfield and the non-dualisticness occurs. sent9: the fact that the occulting occurs is not wrong. sent10: either the occulting does not occur or the Aegeanness does not occur or both if the BAR happens. sent11: that the compacting snowfield does not occur and the occulting does not occur is caused by that the Aegeanness happens. sent12: that the eviscerating does not occur is not wrong. sent13: if the fact that the point-of-saleness occurs hold then both the compacting snowfield and the non-dualisticness happens. sent14: the non-dualisticness is triggered by the holographicness. ; $proof$ = 
sent9 -> int1: the occult and/or the Aegeanness occurs.; sent3 & int1 -> int2: the BAR does not occur.; sent6 & int2 -> int3: that both the non-biblicalness and the non-holographicness happens is not right.; sent1 & int3 -> int4: the dualisticness does not occur.; sent7 & int4 -> hypothesis; __PROVED__