the fact that the pricing harbor and the adscriptness occurs does not hold.
sent1: the fact that not the application but the skinniness occurs is wrong. sent2: the fact that the piping does not occur but the excluding exemplar occurs does not hold. sent3: the postdoctoral happens and the phocineness occurs. sent4: the excluding MAOI and the indent occurs. sent5: the Palestinianness happens if the socioculturalness occurs. sent6: that the indent does not occur results in that not the excluding MAOI but the rugby occurs. sent7: that the pricing harbor occurs is not incorrect if the alabaster happens. sent8: the disqualification happens. sent9: the petrissage occurs. sent10: that the excluding MAOI happens prevents that the adscriptness does not occur. sent11: if that that the application does not occur but the skinniness happens is incorrect is right then the alabaster occurs.
sent4 -> int1: the fact that the excluding MAOI occurs hold.; int1 & sent10 -> int2: the adscriptness happens.; sent11 & sent1 -> int3: the alabasterness happens.; sent7 & int3 -> int4: the pricing harbor happens.; int2 & int4 -> hypothesis;
the rugby occurs.
$hypothesis$ = the fact that the pricing harbor and the adscriptness occurs does not hold. ; $context$ = sent1: the fact that not the application but the skinniness occurs is wrong. sent2: the fact that the piping does not occur but the excluding exemplar occurs does not hold. sent3: the postdoctoral happens and the phocineness occurs. sent4: the excluding MAOI and the indent occurs. sent5: the Palestinianness happens if the socioculturalness occurs. sent6: that the indent does not occur results in that not the excluding MAOI but the rugby occurs. sent7: that the pricing harbor occurs is not incorrect if the alabaster happens. sent8: the disqualification happens. sent9: the petrissage occurs. sent10: that the excluding MAOI happens prevents that the adscriptness does not occur. sent11: if that that the application does not occur but the skinniness happens is incorrect is right then the alabaster occurs. ; $proof$ = 
sent4 -> int1: the fact that the excluding MAOI occurs hold.; int1 & sent10 -> int2: the adscriptness happens.; sent11 & sent1 -> int3: the alabasterness happens.; sent7 & int3 -> int4: the pricing harbor happens.; int2 & int4 -> hypothesis; __DISPROVED__