the transshipment does not occur.
sent1: if the shivering springbok does not occur the commensurateness does not occur. sent2: the spectacle happens if the clerkship does not occur. sent3: that the shivering elution does not occur is correct. sent4: the incommensurateness yields that the Order happens and the giving happens. sent5: that the shivering elution does not occur brings about that the wildingness occurs and/or the shivering springbok does not occur. sent6: the commensurateness does not occur if the wilding happens. sent7: if the fact that both the mercurialness and the non-nearness occurs is not right the non-near happens. sent8: the overcasting occurs if the weaving occurs and/or the iridaceousness does not occur. sent9: the fact that the mercurialness occurs and the nearness does not occur is not right. sent10: that the transshipment does not occur and the nearness does not occur is wrong if the overcasting does not occur. sent11: if the debarment does not occur then the impacting Maui does not occur. sent12: that both the spectacle and the Order happens prevents that the transshipment occurs. sent13: the clerkship does not occur if the overcasting happens and the nearness occurs.
sent7 & sent9 -> int1: the nearness happens.; sent5 & sent3 -> int2: the wildingness happens or the shivering springbok does not occur or both.; int2 & sent6 & sent1 -> int3: the commensurateness does not occur.; sent4 & int3 -> int4: the Order and the giving occurs.; int4 -> int5: the Order happens.;
the transshipment occurs.
$hypothesis$ = the transshipment does not occur. ; $context$ = sent1: if the shivering springbok does not occur the commensurateness does not occur. sent2: the spectacle happens if the clerkship does not occur. sent3: that the shivering elution does not occur is correct. sent4: the incommensurateness yields that the Order happens and the giving happens. sent5: that the shivering elution does not occur brings about that the wildingness occurs and/or the shivering springbok does not occur. sent6: the commensurateness does not occur if the wilding happens. sent7: if the fact that both the mercurialness and the non-nearness occurs is not right the non-near happens. sent8: the overcasting occurs if the weaving occurs and/or the iridaceousness does not occur. sent9: the fact that the mercurialness occurs and the nearness does not occur is not right. sent10: that the transshipment does not occur and the nearness does not occur is wrong if the overcasting does not occur. sent11: if the debarment does not occur then the impacting Maui does not occur. sent12: that both the spectacle and the Order happens prevents that the transshipment occurs. sent13: the clerkship does not occur if the overcasting happens and the nearness occurs. ; $proof$ = 
sent7 & sent9 -> int1: the nearness happens.; sent5 & sent3 -> int2: the wildingness happens or the shivering springbok does not occur or both.; int2 & sent6 & sent1 -> int3: the commensurateness does not occur.; sent4 & int3 -> int4: the Order and the giving occurs.; int4 -> int5: the Order happens.; __UNKNOWN__