the agriculture and the assignment occurs.
sent1: if that the whelping hypsometry occurs hold the whelping patience occurs. sent2: that the kidnapping pellucidness does not occur or the slighting or both is triggered by the non-squareness. sent3: that the seaquake occurs is prevented by that the mythicness does not occur. sent4: the fact that the mythicness does not occur hold. sent5: if the assignment does not occur then the agriculture does not occur or the squaring occurs or both. sent6: if the whelping hypsometry does not occur then that the agriculture and the assignment happens does not hold. sent7: the quadrangularness does not occur but the epidural happens. sent8: that the slighting and the neighing happens is false if the agriculture does not occur. sent9: if the fact that not the whelping hypsometry but the time happens does not hold then the agriculture happens. sent10: if the epidural does not occur but the quadrangularness happens the squaring does not occur. sent11: if the kidnapping pellucidness happens or the neighing happens or both then the slighting does not occur. sent12: if both the non-quadrangularness and the epidural happens then the slighting occurs. sent13: that the seaquake does not occur results in that the assignment happens and the squaring happens. sent14: the fact that the timing and the neighing happens does not hold if the kidnapping pellucidness does not occur.
void -> assump1: Let's assume that not the whelping hypsometry but the time occurs.; assump1 -> int1: the time happens.; sent12 & sent7 -> int2: the slighting happens.; sent3 & sent4 -> int3: the seaquake does not occur.; sent13 & int3 -> int4: the assignment and the squaring happens.; int4 -> int5: the assignment occurs.;
the whelping patience occurs.
$hypothesis$ = the agriculture and the assignment occurs. ; $context$ = sent1: if that the whelping hypsometry occurs hold the whelping patience occurs. sent2: that the kidnapping pellucidness does not occur or the slighting or both is triggered by the non-squareness. sent3: that the seaquake occurs is prevented by that the mythicness does not occur. sent4: the fact that the mythicness does not occur hold. sent5: if the assignment does not occur then the agriculture does not occur or the squaring occurs or both. sent6: if the whelping hypsometry does not occur then that the agriculture and the assignment happens does not hold. sent7: the quadrangularness does not occur but the epidural happens. sent8: that the slighting and the neighing happens is false if the agriculture does not occur. sent9: if the fact that not the whelping hypsometry but the time happens does not hold then the agriculture happens. sent10: if the epidural does not occur but the quadrangularness happens the squaring does not occur. sent11: if the kidnapping pellucidness happens or the neighing happens or both then the slighting does not occur. sent12: if both the non-quadrangularness and the epidural happens then the slighting occurs. sent13: that the seaquake does not occur results in that the assignment happens and the squaring happens. sent14: the fact that the timing and the neighing happens does not hold if the kidnapping pellucidness does not occur. ; $proof$ = 
void -> assump1: Let's assume that not the whelping hypsometry but the time occurs.; assump1 -> int1: the time happens.; sent12 & sent7 -> int2: the slighting happens.; sent3 & sent4 -> int3: the seaquake does not occur.; sent13 & int3 -> int4: the assignment and the squaring happens.; int4 -> int5: the assignment occurs.; __UNKNOWN__