the arc does not occur if the darkness happens.
sent1: that the gluttony occurs brings about that the forging does not occur. sent2: the non-pastoralness is prevented by that the booing occurs and/or that the cubist does not occur. sent3: that the office happens is prevented by that the defervescentness does not occur and the sloth does not occur. sent4: the minorsness leads to that the ecclesiasticism occurs. sent5: the facultativeness occurs and the purring happens. sent6: the electrolyticness and the desquamating occurs. sent7: if the ecclesiasticism occurs and the dark happens then the arc does not occur. sent8: that the office does not occur brings about that both the arc and the indissolubleness happens. sent9: if the dark happens then the arc happens. sent10: the jactitation is prevented by that the ecclesiasticism does not occur and the dark happens. sent11: that the arc does not occur is prevented by that the ecclesiasticism and the dark happens. sent12: the clanking killer does not occur if the defacement happens. sent13: that the ecclesiasticism occurs is triggered by either the minorsness or that the consorting talented does not occur or both. sent14: that the consignment happens is prevented by that the facultativeness occurs and the reopening happens. sent15: either the sophisticate occurs or the fortune does not occur or both. sent16: the defervescentness does not occur and the sloth does not occur if the consignment does not occur. sent17: the arc occurs.
the jactitation does not occur.
sent5 -> int1: the facultativeness happens.;
$hypothesis$ = the arc does not occur if the darkness happens. ; $context$ = sent1: that the gluttony occurs brings about that the forging does not occur. sent2: the non-pastoralness is prevented by that the booing occurs and/or that the cubist does not occur. sent3: that the office happens is prevented by that the defervescentness does not occur and the sloth does not occur. sent4: the minorsness leads to that the ecclesiasticism occurs. sent5: the facultativeness occurs and the purring happens. sent6: the electrolyticness and the desquamating occurs. sent7: if the ecclesiasticism occurs and the dark happens then the arc does not occur. sent8: that the office does not occur brings about that both the arc and the indissolubleness happens. sent9: if the dark happens then the arc happens. sent10: the jactitation is prevented by that the ecclesiasticism does not occur and the dark happens. sent11: that the arc does not occur is prevented by that the ecclesiasticism and the dark happens. sent12: the clanking killer does not occur if the defacement happens. sent13: that the ecclesiasticism occurs is triggered by either the minorsness or that the consorting talented does not occur or both. sent14: that the consignment happens is prevented by that the facultativeness occurs and the reopening happens. sent15: either the sophisticate occurs or the fortune does not occur or both. sent16: the defervescentness does not occur and the sloth does not occur if the consignment does not occur. sent17: the arc occurs. ; $proof$ = 
__UNKNOWN__