the beholding fasciculation and the Bosnianness occurs.
sent1: if the orbing occurs the bractealness happens. sent2: the mastership happens. sent3: the Bolivian occurs. sent4: if the mutter does not occur then the fact that the orbing does not occur and the capacitance occurs is not true. sent5: the orbing prevents the Bolivianness. sent6: that the beholding bloat does not occur causes that the Bosnianness happens and the Glaswegian occurs. sent7: if the Bolivianness does not occur the mutter and the wanton occurs. sent8: the beautification does not occur if the regionalness occurs or the bractealness happens or both. sent9: that the mutter or the non-Bolivianness or both happens is wrong. sent10: the beholding bloat does not occur. sent11: the Glaswegian occurs if the beholding bloat does not occur. sent12: if that not the orbing but the capacitance occurs is wrong the bractealness happens. sent13: if the fact that not the five-hitter but the negotiating methane occurs is not correct then the negotiating Alsatian occurs. sent14: that the inscription does not occur and the ropiness happens is false. sent15: if the beautification does not occur the beholding fasciculation occurs. sent16: the Glaswegian happens. sent17: if the boisterousness does not occur then the agreement occurs and the detriment occurs. sent18: the mutter occurs and/or the Bolivianness occurs. sent19: that the beautification does not occur is brought about by that the regionalness occurs. sent20: the fact that the orbing happens and the capacitance happens is wrong. sent21: the fact that both the orbing and the capacitance happens does not hold if that the mutter does not occur is not wrong.
void -> assump1: Let's assume that the mutter occurs.; assump1 -> int1: the mutter occurs and/or the Bolivianness does not occur.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the mutter does not occur.; int3 & sent4 -> int4: the fact that the orbing does not occur and the capacitance happens does not hold.; int4 & sent12 -> int5: the bractealness occurs.; int5 -> int6: either the regionalness happens or the bractealness occurs or both.; int6 & sent8 -> int7: the beautification does not occur.; int7 & sent15 -> int8: the beholding fasciculation happens.; sent6 & sent10 -> int9: the Bosnianness happens and the Glaswegian occurs.; int9 -> int10: the Bosnianness happens.; int8 & int10 -> hypothesis;
that the beholding fasciculation happens and the Bosnianness occurs is false.
 -> hypothesis;
$hypothesis$ = the beholding fasciculation and the Bosnianness occurs. ; $context$ = sent1: if the orbing occurs the bractealness happens. sent2: the mastership happens. sent3: the Bolivian occurs. sent4: if the mutter does not occur then the fact that the orbing does not occur and the capacitance occurs is not true. sent5: the orbing prevents the Bolivianness. sent6: that the beholding bloat does not occur causes that the Bosnianness happens and the Glaswegian occurs. sent7: if the Bolivianness does not occur the mutter and the wanton occurs. sent8: the beautification does not occur if the regionalness occurs or the bractealness happens or both. sent9: that the mutter or the non-Bolivianness or both happens is wrong. sent10: the beholding bloat does not occur. sent11: the Glaswegian occurs if the beholding bloat does not occur. sent12: if that not the orbing but the capacitance occurs is wrong the bractealness happens. sent13: if the fact that not the five-hitter but the negotiating methane occurs is not correct then the negotiating Alsatian occurs. sent14: that the inscription does not occur and the ropiness happens is false. sent15: if the beautification does not occur the beholding fasciculation occurs. sent16: the Glaswegian happens. sent17: if the boisterousness does not occur then the agreement occurs and the detriment occurs. sent18: the mutter occurs and/or the Bolivianness occurs. sent19: that the beautification does not occur is brought about by that the regionalness occurs. sent20: the fact that the orbing happens and the capacitance happens is wrong. sent21: the fact that both the orbing and the capacitance happens does not hold if that the mutter does not occur is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the mutter occurs.; assump1 -> int1: the mutter occurs and/or the Bolivianness does not occur.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the mutter does not occur.; int3 & sent4 -> int4: the fact that the orbing does not occur and the capacitance happens does not hold.; int4 & sent12 -> int5: the bractealness occurs.; int5 -> int6: either the regionalness happens or the bractealness occurs or both.; int6 & sent8 -> int7: the beautification does not occur.; int7 & sent15 -> int8: the beholding fasciculation happens.; sent6 & sent10 -> int9: the Bosnianness happens and the Glaswegian occurs.; int9 -> int10: the Bosnianness happens.; int8 & int10 -> hypothesis; __PROVED__