both the baccarat and the inconvenientness happens.
sent1: the collocation does not occur if the indeterminableness does not occur. sent2: if the uncontroversialness does not occur then the bibliographicness occurs and the proration happens. sent3: both the pacification and the inconvenientness happens. sent4: the indeterminableness does not occur if the sloganeering does not occur. sent5: the collocation happens if the fact that the etherealness happens hold. sent6: the pacification happens. sent7: the uncontroversialness does not occur. sent8: the fact that the proration happens if the fact that the uncontroversialness does not occur is correct is not incorrect. sent9: the etherealness occurs. sent10: that the reflexology does not occur is brought about by that the bibliographicness and the sloganeering happens. sent11: the proration occurs.
void -> assump1: Let's assume that that the sloganeering does not occur is not wrong.; sent4 & assump1 -> int1: the indeterminableness does not occur.; int1 & sent1 -> int2: the collocation does not occur.; sent5 & sent9 -> int3: the collocation occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sloganeering happens.; sent2 & sent7 -> int6: the bibliographicness occurs and the proration occurs.; int6 -> int7: the bibliographicness happens.; int5 & int7 -> int8: that both the bibliographicness and the sloganeering occurs hold.; int8 & sent10 -> int9: the reflexology does not occur.; sent3 -> int10: that the inconvenientness happens is not incorrect.;
the fact that the baccarat happens and the inconvenientness happens is wrong.
 -> hypothesis;
$hypothesis$ = both the baccarat and the inconvenientness happens. ; $context$ = sent1: the collocation does not occur if the indeterminableness does not occur. sent2: if the uncontroversialness does not occur then the bibliographicness occurs and the proration happens. sent3: both the pacification and the inconvenientness happens. sent4: the indeterminableness does not occur if the sloganeering does not occur. sent5: the collocation happens if the fact that the etherealness happens hold. sent6: the pacification happens. sent7: the uncontroversialness does not occur. sent8: the fact that the proration happens if the fact that the uncontroversialness does not occur is correct is not incorrect. sent9: the etherealness occurs. sent10: that the reflexology does not occur is brought about by that the bibliographicness and the sloganeering happens. sent11: the proration occurs. ; $proof$ = 
void -> assump1: Let's assume that that the sloganeering does not occur is not wrong.; sent4 & assump1 -> int1: the indeterminableness does not occur.; int1 & sent1 -> int2: the collocation does not occur.; sent5 & sent9 -> int3: the collocation occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sloganeering happens.; sent2 & sent7 -> int6: the bibliographicness occurs and the proration occurs.; int6 -> int7: the bibliographicness happens.; int5 & int7 -> int8: that both the bibliographicness and the sloganeering occurs hold.; int8 & sent10 -> int9: the reflexology does not occur.; sent3 -> int10: that the inconvenientness happens is not incorrect.; __UNKNOWN__