the afloatness does not occur.
sent1: the lieutenancy happens. sent2: if the ruining happens and the violation occurs then the afloatness does not occur. sent3: that not the violation but the printing occurs is brought about by that the menarche happens. sent4: that the envying occurs and the physicochemicalness happens prevents the yowling. sent5: the brazening lexicology does not occur but the figuration occurs if the active does not occur. sent6: the heading occurs. sent7: both the menarche and the lieutenancy occurs if the encouraging Modigliani does not occur. sent8: that the hemorrhagicness does not occur is correct. sent9: the fact that the exploding does not occur is not incorrect if the hemorrhagicness happens or the habanera occurs or both. sent10: if the civilness does not occur then that both the non-manyness and the slugging periselene occurs does not hold. sent11: that the exploding does not occur causes that the matutinalness happens and the Malian happens. sent12: that not the brazening lexicology but the figuration occurs prevents that the civilness happens. sent13: if the brazening chromium does not occur then the oculism and the slugging gridiron happens. sent14: if the lieutenancy happens and the encouraging Modigliani happens then the menarche does not occur. sent15: the habanera occurs if the heading happens. sent16: the ruin occurs if that the non-maniness and the slugging periselene occurs is not true. sent17: if the menarche does not occur the print occurs. sent18: the encouraging Modigliani does not occur if the Malianness occurs but the dither does not occur. sent19: if the slugging periselene does not occur then that not the figuration but the civilness occurs does not hold. sent20: if the menarche does not occur both the violation and the printing happens. sent21: the slugging periselene does not occur if the ruin and the maniness happens. sent22: if the violation does not occur both the ruining and the maniness occurs. sent23: that if the sinning does not occur and the slugging controlling occurs then the ruminating does not occur is true. sent24: the fact that the hemorrhagicness does not occur or the brazening chromium does not occur or both is not right if the active happens. sent25: the brazening lexicology does not occur if that the figuration does not occur and the civilness happens is false. sent26: the ruining happens if the slugging periselene does not occur. sent27: the non-hemorrhagicness and/or the brazening chromium occurs. sent28: the printing happens. sent29: that the Set does not occur and the dither does not occur is caused by the oculism.
void -> assump1: Let's assume that the active happens.; sent24 & assump1 -> int1: the fact that either the hemorrhagicness does not occur or the brazening chromium does not occur or both does not hold.; sent8 -> int2: either the hemorrhagicness does not occur or the brazening chromium does not occur or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the activeness does not occur.; int4 & sent5 -> int5: the brazening lexicology does not occur but the figuration occurs.; int5 & sent12 -> int6: the civilness does not occur.; int6 & sent10 -> int7: that the non-manyness and the slugging periselene occurs is not correct.; int7 & sent16 -> int8: that the ruin happens hold.;
the afloatness occurs.
sent15 & sent6 -> int9: the habanera happens.; int9 -> int10: the hemorrhagicness occurs and/or the habanera occurs.; sent9 & int10 -> int11: the exploding does not occur.; sent11 & int11 -> int12: both the matutinalness and the Malian happens.; int12 -> int13: the Malian happens.;
$hypothesis$ = the afloatness does not occur. ; $context$ = sent1: the lieutenancy happens. sent2: if the ruining happens and the violation occurs then the afloatness does not occur. sent3: that not the violation but the printing occurs is brought about by that the menarche happens. sent4: that the envying occurs and the physicochemicalness happens prevents the yowling. sent5: the brazening lexicology does not occur but the figuration occurs if the active does not occur. sent6: the heading occurs. sent7: both the menarche and the lieutenancy occurs if the encouraging Modigliani does not occur. sent8: that the hemorrhagicness does not occur is correct. sent9: the fact that the exploding does not occur is not incorrect if the hemorrhagicness happens or the habanera occurs or both. sent10: if the civilness does not occur then that both the non-manyness and the slugging periselene occurs does not hold. sent11: that the exploding does not occur causes that the matutinalness happens and the Malian happens. sent12: that not the brazening lexicology but the figuration occurs prevents that the civilness happens. sent13: if the brazening chromium does not occur then the oculism and the slugging gridiron happens. sent14: if the lieutenancy happens and the encouraging Modigliani happens then the menarche does not occur. sent15: the habanera occurs if the heading happens. sent16: the ruin occurs if that the non-maniness and the slugging periselene occurs is not true. sent17: if the menarche does not occur the print occurs. sent18: the encouraging Modigliani does not occur if the Malianness occurs but the dither does not occur. sent19: if the slugging periselene does not occur then that not the figuration but the civilness occurs does not hold. sent20: if the menarche does not occur both the violation and the printing happens. sent21: the slugging periselene does not occur if the ruin and the maniness happens. sent22: if the violation does not occur both the ruining and the maniness occurs. sent23: that if the sinning does not occur and the slugging controlling occurs then the ruminating does not occur is true. sent24: the fact that the hemorrhagicness does not occur or the brazening chromium does not occur or both is not right if the active happens. sent25: the brazening lexicology does not occur if that the figuration does not occur and the civilness happens is false. sent26: the ruining happens if the slugging periselene does not occur. sent27: the non-hemorrhagicness and/or the brazening chromium occurs. sent28: the printing happens. sent29: that the Set does not occur and the dither does not occur is caused by the oculism. ; $proof$ = 
void -> assump1: Let's assume that the active happens.; sent24 & assump1 -> int1: the fact that either the hemorrhagicness does not occur or the brazening chromium does not occur or both does not hold.; sent8 -> int2: either the hemorrhagicness does not occur or the brazening chromium does not occur or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the activeness does not occur.; int4 & sent5 -> int5: the brazening lexicology does not occur but the figuration occurs.; int5 & sent12 -> int6: the civilness does not occur.; int6 & sent10 -> int7: that the non-manyness and the slugging periselene occurs is not correct.; int7 & sent16 -> int8: that the ruin happens hold.; __UNKNOWN__