the aweing Sade does not occur and the behest does not occur.
sent1: the aweing Sade does not occur if the fact that the discountenancing preservation happens and the slaughter happens is false. sent2: if the slaughter does not occur then the aweing Sade does not occur. sent3: that the disjunctness happens prevents that the downstreamness happens. sent4: both the discountenancing core and the unplayableness occurs. sent5: the aweing sawwort does not occur if the secretaryship does not occur. sent6: if either the manhandling tulip happens or the disjunctness happens or both then the downstreamness does not occur. sent7: the expansion does not occur. sent8: the butt-welding does not occur if the discountenancing humectant does not occur. sent9: the peroration occurs and the manhandling tulip occurs. sent10: that the sunburst occurs is prevented by that the articularness occurs or that the dimorphicness happens or both. sent11: the aweing sawwort does not occur if the fact that the manhandling tulip does not occur and/or the peroration occurs does not hold. sent12: the behest does not occur if that the politicizing does not occur is not incorrect. sent13: the fact that the discountenancing preservation and the slaughter happens is not right if the albinalness does not occur. sent14: the peroration happens. sent15: the peroration happens if the fact that the disjunctness but not the peroration happens is wrong. sent16: the albinalness does not occur and the faithful does not occur.
sent9 -> int1: the manhandling tulip occurs.; int1 -> int2: the manhandling tulip occurs and/or the disjunctness happens.; int2 & sent6 -> int3: the fact that the downstreamness does not occur is not false.; sent16 -> int4: the albinalness does not occur.; sent13 & int4 -> int5: the fact that both the discountenancing preservation and the slaughter occurs is incorrect.; sent1 & int5 -> int6: the aweing Sade does not occur.;
the aweing sawwort does not occur.
$hypothesis$ = the aweing Sade does not occur and the behest does not occur. ; $context$ = sent1: the aweing Sade does not occur if the fact that the discountenancing preservation happens and the slaughter happens is false. sent2: if the slaughter does not occur then the aweing Sade does not occur. sent3: that the disjunctness happens prevents that the downstreamness happens. sent4: both the discountenancing core and the unplayableness occurs. sent5: the aweing sawwort does not occur if the secretaryship does not occur. sent6: if either the manhandling tulip happens or the disjunctness happens or both then the downstreamness does not occur. sent7: the expansion does not occur. sent8: the butt-welding does not occur if the discountenancing humectant does not occur. sent9: the peroration occurs and the manhandling tulip occurs. sent10: that the sunburst occurs is prevented by that the articularness occurs or that the dimorphicness happens or both. sent11: the aweing sawwort does not occur if the fact that the manhandling tulip does not occur and/or the peroration occurs does not hold. sent12: the behest does not occur if that the politicizing does not occur is not incorrect. sent13: the fact that the discountenancing preservation and the slaughter happens is not right if the albinalness does not occur. sent14: the peroration happens. sent15: the peroration happens if the fact that the disjunctness but not the peroration happens is wrong. sent16: the albinalness does not occur and the faithful does not occur. ; $proof$ = 
sent9 -> int1: the manhandling tulip occurs.; int1 -> int2: the manhandling tulip occurs and/or the disjunctness happens.; int2 & sent6 -> int3: the fact that the downstreamness does not occur is not false.; sent16 -> int4: the albinalness does not occur.; sent13 & int4 -> int5: the fact that both the discountenancing preservation and the slaughter occurs is incorrect.; sent1 & int5 -> int6: the aweing Sade does not occur.; __UNKNOWN__