if the conventionalizing arsenal does not occur the outerness does not occur.
sent1: that the fearing manhattan occurs is prevented by that the fearing manhattan does not occur or that the solarness happens or both. sent2: that not the sacrament but the fearing manhattan occurs prevents that the outerness happens. sent3: if the sacrament happens the biennialness happens. sent4: the grate does not occur. sent5: the recombinant happens. sent6: the outerness does not occur if the conventionalizing arsenal occurs. sent7: the outerness is triggered by that not the sacrament but the fearing manhattan occurs. sent8: the flagging does not occur. sent9: that the conventionalizing arsenal does not occur yields that the outerness happens. sent10: if the fearing manhattan does not occur the biennialness does not occur and the conventionalizing arsenal does not occur. sent11: the solarness does not occur. sent12: the outerness occurs if the nonclassicalness happens. sent13: the nonclassicalness does not occur. sent14: that the fearing manhattan happens is triggered by that both the non-solarness and the classicalness occurs. sent15: the fact that the deathblow does not occur is true. sent16: that the foliaceousness happens prevents the non-nonclassicalness. sent17: the non-anaphoricness and the conventionalizing hatefulness happens.
void -> assump1: Let's assume that the sacrament occurs.; sent3 & assump1 -> int1: the biennial happens.; void -> assump2: Let's assume that the fact that the conventionalizing arsenal does not occur hold.; sent11 & sent13 -> int2: the non-solarness and the non-nonclassicalness occurs.; sent14 & int2 -> int3: the fearing manhattan happens.;
the tilling does not occur.
$hypothesis$ = if the conventionalizing arsenal does not occur the outerness does not occur. ; $context$ = sent1: that the fearing manhattan occurs is prevented by that the fearing manhattan does not occur or that the solarness happens or both. sent2: that not the sacrament but the fearing manhattan occurs prevents that the outerness happens. sent3: if the sacrament happens the biennialness happens. sent4: the grate does not occur. sent5: the recombinant happens. sent6: the outerness does not occur if the conventionalizing arsenal occurs. sent7: the outerness is triggered by that not the sacrament but the fearing manhattan occurs. sent8: the flagging does not occur. sent9: that the conventionalizing arsenal does not occur yields that the outerness happens. sent10: if the fearing manhattan does not occur the biennialness does not occur and the conventionalizing arsenal does not occur. sent11: the solarness does not occur. sent12: the outerness occurs if the nonclassicalness happens. sent13: the nonclassicalness does not occur. sent14: that the fearing manhattan happens is triggered by that both the non-solarness and the classicalness occurs. sent15: the fact that the deathblow does not occur is true. sent16: that the foliaceousness happens prevents the non-nonclassicalness. sent17: the non-anaphoricness and the conventionalizing hatefulness happens. ; $proof$ = 
void -> assump1: Let's assume that the sacrament occurs.; sent3 & assump1 -> int1: the biennial happens.; void -> assump2: Let's assume that the fact that the conventionalizing arsenal does not occur hold.; sent11 & sent13 -> int2: the non-solarness and the non-nonclassicalness occurs.; sent14 & int2 -> int3: the fearing manhattan happens.; __UNKNOWN__