the recursion does not occur.
sent1: if the revenging birefringence happens the fact that the buffoonery does not occur but the green happens is correct. sent2: if the tourism does not occur the settling banquette happens. sent3: that not the buffoonery but the green occurs prevents that the aminoness occurs. sent4: the fact that the revenging birefringence and the mediation occurs is incorrect if the Nestorianness does not occur. sent5: the settling barrow but not the recursion occurs if the mediation does not occur. sent6: the transposition occurs and the digressing does not occur. sent7: the revenging streetlight does not occur. sent8: that the equivocalness does not occur prevents that the settling barrow does not occur. sent9: if the fact that the prowling occurs and the resection happens is not correct then the resection does not occur. sent10: if the digressing does not occur then the fact that the prowl happens and the resection occurs is incorrect. sent11: if the resection does not occur then the dyeing occurs and the equivocalness happens. sent12: the buffoonery but not the greenness occurs. sent13: the equivocalness happens if the resection occurs but the digressing does not occur. sent14: the fact that the recursion occurs is not false if the buffoonery does not occur. sent15: the junior occurs. sent16: that the prowl does not occur causes that the resection happens but the digressing does not occur. sent17: the settling barrow occurs if the fact that the recursion does not occur and the settling barrow does not occur is not true. sent18: that the Nestorian and the mediation occurs prevents the dyeing. sent19: if the fact that both the revenging birefringence and the mediation occurs is false then the revenging birefringence does not occur. sent20: if the equivocalness happens that the recursion does not occur and the settling barrow does not occur is not correct. sent21: if the mediation does not occur the settling barrow happens.
sent12 -> int1: the greening does not occur.; void -> assump1: Let's assume that the mediation happens.; sent6 -> int2: the digressing does not occur.; sent10 & int2 -> int3: that the prowling happens and the resection happens is incorrect.; sent9 & int3 -> int4: the resection does not occur.; sent11 & int4 -> int5: the dyeing happens and the equivocalness happens.; int5 -> int6: the dyeing occurs.;
the amino does not occur.
$hypothesis$ = the recursion does not occur. ; $context$ = sent1: if the revenging birefringence happens the fact that the buffoonery does not occur but the green happens is correct. sent2: if the tourism does not occur the settling banquette happens. sent3: that not the buffoonery but the green occurs prevents that the aminoness occurs. sent4: the fact that the revenging birefringence and the mediation occurs is incorrect if the Nestorianness does not occur. sent5: the settling barrow but not the recursion occurs if the mediation does not occur. sent6: the transposition occurs and the digressing does not occur. sent7: the revenging streetlight does not occur. sent8: that the equivocalness does not occur prevents that the settling barrow does not occur. sent9: if the fact that the prowling occurs and the resection happens is not correct then the resection does not occur. sent10: if the digressing does not occur then the fact that the prowl happens and the resection occurs is incorrect. sent11: if the resection does not occur then the dyeing occurs and the equivocalness happens. sent12: the buffoonery but not the greenness occurs. sent13: the equivocalness happens if the resection occurs but the digressing does not occur. sent14: the fact that the recursion occurs is not false if the buffoonery does not occur. sent15: the junior occurs. sent16: that the prowl does not occur causes that the resection happens but the digressing does not occur. sent17: the settling barrow occurs if the fact that the recursion does not occur and the settling barrow does not occur is not true. sent18: that the Nestorian and the mediation occurs prevents the dyeing. sent19: if the fact that both the revenging birefringence and the mediation occurs is false then the revenging birefringence does not occur. sent20: if the equivocalness happens that the recursion does not occur and the settling barrow does not occur is not correct. sent21: if the mediation does not occur the settling barrow happens. ; $proof$ = 
sent12 -> int1: the greening does not occur.; void -> assump1: Let's assume that the mediation happens.; sent6 -> int2: the digressing does not occur.; sent10 & int2 -> int3: that the prowling happens and the resection happens is incorrect.; sent9 & int3 -> int4: the resection does not occur.; sent11 & int4 -> int5: the dyeing happens and the equivocalness happens.; int5 -> int6: the dyeing occurs.; __UNKNOWN__