the fundamentalist does not occur.
sent1: if the fact that the clean happens is not true the mediatorialness does not occur. sent2: that the lactation occurs is prevented by either the fraudulence or the sociologicalness or both. sent3: the Depression does not occur. sent4: the clean occurs. sent5: that the duck occurs is prevented by that either the clasp or the sepaloidness or both occurs. sent6: if the ducking does not occur then the clean occurs. sent7: the clasp occurs. sent8: the lamenting does not occur and the clean does not occur if the winglessness occurs. sent9: if the mediatorialness does not occur then the sepaloidness does not occur and the ducking does not occur. sent10: the ballisticness does not occur but the nosing hysteric occurs. sent11: the receiving lakeside does not occur. sent12: that the mediatorialness does not occur but the clean happens is triggered by that the ducking does not occur. sent13: both the non-extinctness and the birefringence occurs if the archegonialness does not occur. sent14: both the non-xerographicness and the three-dimensionalness happens if the camphoricness does not occur. sent15: that the duck happens is prevented by the sepaloidness.
sent7 -> int1: the clasping happens and/or the sepaloidness happens.; sent5 & int1 -> int2: the ducking does not occur.; sent12 & int2 -> int3: the non-mediatorialness and the cleaning occurs.;
the fundamentalist occurs.
$hypothesis$ = the fundamentalist does not occur. ; $context$ = sent1: if the fact that the clean happens is not true the mediatorialness does not occur. sent2: that the lactation occurs is prevented by either the fraudulence or the sociologicalness or both. sent3: the Depression does not occur. sent4: the clean occurs. sent5: that the duck occurs is prevented by that either the clasp or the sepaloidness or both occurs. sent6: if the ducking does not occur then the clean occurs. sent7: the clasp occurs. sent8: the lamenting does not occur and the clean does not occur if the winglessness occurs. sent9: if the mediatorialness does not occur then the sepaloidness does not occur and the ducking does not occur. sent10: the ballisticness does not occur but the nosing hysteric occurs. sent11: the receiving lakeside does not occur. sent12: that the mediatorialness does not occur but the clean happens is triggered by that the ducking does not occur. sent13: both the non-extinctness and the birefringence occurs if the archegonialness does not occur. sent14: both the non-xerographicness and the three-dimensionalness happens if the camphoricness does not occur. sent15: that the duck happens is prevented by the sepaloidness. ; $proof$ = 
sent7 -> int1: the clasping happens and/or the sepaloidness happens.; sent5 & int1 -> int2: the ducking does not occur.; sent12 & int2 -> int3: the non-mediatorialness and the cleaning occurs.; __UNKNOWN__