the non-biliariness is prevented by the barring.
sent1: that the biliariness does not occur hold if that the barring and the biliariness occurs is not true. sent2: the barring happens if the logging happens but the neolithicness does not occur. sent3: if the emulsifying hippoboscid does not occur then that the barring and the biliariness occurs does not hold. sent4: if the logging does not occur the biliariness occurs. sent5: that the addictiveness and the paste occurs brings about that the remodeling Set does not occur. sent6: the Scrabble is caused by that the bohemianness happens. sent7: the justice happens. sent8: that the barring does not occur is brought about by that the logging and the non-neolithicness occurs. sent9: the nebularness occurs. sent10: that the boondoggling occurs is true. sent11: the squashing is brought about by the non-biliariness. sent12: if that the remodeling Poterium and the witching happens is not false then the featherbeding does not occur. sent13: the passing happens. sent14: if the elfinness happens then the adjoining Molokai occurs. sent15: the emulsifying Samoa occurs but the adjoining stair-rod does not occur. sent16: the fact that the emulsifying bittern but not the quincentennial occurs is false. sent17: that the hotfoot does not occur is prevented by that the soccer occurs.
void -> assump2: Let's assume that the barring occurs.; void -> assump1: Let's assume that the logging but not the neolithicness happens.; sent8 & assump1 -> int1: the barring does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the logging and the non-neolithicness happens is not correct.;
the squash occurs.
$hypothesis$ = the non-biliariness is prevented by the barring. ; $context$ = sent1: that the biliariness does not occur hold if that the barring and the biliariness occurs is not true. sent2: the barring happens if the logging happens but the neolithicness does not occur. sent3: if the emulsifying hippoboscid does not occur then that the barring and the biliariness occurs does not hold. sent4: if the logging does not occur the biliariness occurs. sent5: that the addictiveness and the paste occurs brings about that the remodeling Set does not occur. sent6: the Scrabble is caused by that the bohemianness happens. sent7: the justice happens. sent8: that the barring does not occur is brought about by that the logging and the non-neolithicness occurs. sent9: the nebularness occurs. sent10: that the boondoggling occurs is true. sent11: the squashing is brought about by the non-biliariness. sent12: if that the remodeling Poterium and the witching happens is not false then the featherbeding does not occur. sent13: the passing happens. sent14: if the elfinness happens then the adjoining Molokai occurs. sent15: the emulsifying Samoa occurs but the adjoining stair-rod does not occur. sent16: the fact that the emulsifying bittern but not the quincentennial occurs is false. sent17: that the hotfoot does not occur is prevented by that the soccer occurs. ; $proof$ = 
void -> assump2: Let's assume that the barring occurs.; void -> assump1: Let's assume that the logging but not the neolithicness happens.; sent8 & assump1 -> int1: the barring does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the logging and the non-neolithicness happens is not correct.; __UNKNOWN__