that the telephotography does not occur and the looting abomination does not occur does not hold.
sent1: if the con does not occur the fact that the telephotography does not occur and the looting abomination does not occur is wrong. sent2: that the attrition happens yields the casting Uruguay. sent3: both the passage and the populating flashpoint occurs. sent4: if both the casting Sheetrock and the passage occurs then the con does not occur. sent5: both the betrothal and the immunochemicalness happens. sent6: that both the casting Uruguay and the betrothal happens leads to that the clinker does not occur. sent7: that that the casting Sheetrock does not occur is not incorrect does not hold if the looting Mahdism occurs. sent8: the attrition occurs. sent9: if the clinker does not occur and the rooting does not occur then the looting Mahdism happens. sent10: if the fact that the pick does not occur and the casting idealist does not occur is not correct that the rooting does not occur is not false.
sent2 & sent8 -> int1: the casting Uruguay occurs.; sent5 -> int2: the betrothal happens.; int1 & int2 -> int3: the casting Uruguay happens and the betrothal happens.; int3 & sent6 -> int4: the clinkering does not occur.; sent3 -> int5: the passage occurs.;
$hypothesis$ = that the telephotography does not occur and the looting abomination does not occur does not hold. ; $context$ = sent1: if the con does not occur the fact that the telephotography does not occur and the looting abomination does not occur is wrong. sent2: that the attrition happens yields the casting Uruguay. sent3: both the passage and the populating flashpoint occurs. sent4: if both the casting Sheetrock and the passage occurs then the con does not occur. sent5: both the betrothal and the immunochemicalness happens. sent6: that both the casting Uruguay and the betrothal happens leads to that the clinker does not occur. sent7: that that the casting Sheetrock does not occur is not incorrect does not hold if the looting Mahdism occurs. sent8: the attrition occurs. sent9: if the clinker does not occur and the rooting does not occur then the looting Mahdism happens. sent10: if the fact that the pick does not occur and the casting idealist does not occur is not correct that the rooting does not occur is not false. ; $proof$ = 
sent2 & sent8 -> int1: the casting Uruguay occurs.; sent5 -> int2: the betrothal happens.; int1 & int2 -> int3: the casting Uruguay happens and the betrothal happens.; int3 & sent6 -> int4: the clinkering does not occur.; sent3 -> int5: the passage occurs.; __UNKNOWN__