the fact that the inhaling neuroplasty does not occur and the stabbing squawker does not occur is not true if the ceramicsness happens.
sent1: the stabbing brewpub does not occur and the yodeling occurs. sent2: that the nebulousness happens is brought about by that the unitization does not occur and the aping happens. sent3: if the hatting occurs the match-up occurs. sent4: if the alkalineness does not occur then the fact that the inhaling neuroplasty occurs but the stabbing squawker does not occur is false. sent5: both the yodeling and the solidifying occurs. sent6: that the alkalineness does not occur yields that the inhaling neuroplasty does not occur and the stabbing squawker does not occur. sent7: if the alkalineness does not occur that the inhaling neuroplasty does not occur and the stabbing squawker does not occur is incorrect. sent8: that the score does not occur and the form does not occur does not hold if the intransitive happens. sent9: the fact that the inhaling neuroplasty but not the stabbing squawker happens is not true if the ceramics occurs. sent10: that the unitization does not occur is right. sent11: not the unitization but the aping happens. sent12: the inhaling neuroplasty does not occur and the stabbing squawker does not occur. sent13: the fact that the fact that the non-imperviousness and the outburst occurs is wrong is not false if the inhaling Rehnquist happens. sent14: if the nebulousness does not occur both the condemning proctor and the ceramics happens. sent15: the fact that that not the stabbing brewpub but the yodeling happens prevents the invertebrateness is not false. sent16: if the vertebrateness occurs then the hat happens.
sent2 & sent11 -> int1: that the nebulousness occurs hold.; void -> assump1: Let's assume that the ceramicsness occurs.; int1 & assump1 -> int2: both the nebulousness and the ceramicsness happens.;
the match-up and the condemning proctor occurs.
sent15 & sent1 -> int3: the vertebrate occurs.; sent16 & int3 -> int4: the hatting happens.; sent3 & int4 -> int5: the match-up happens.;
$hypothesis$ = the fact that the inhaling neuroplasty does not occur and the stabbing squawker does not occur is not true if the ceramicsness happens. ; $context$ = sent1: the stabbing brewpub does not occur and the yodeling occurs. sent2: that the nebulousness happens is brought about by that the unitization does not occur and the aping happens. sent3: if the hatting occurs the match-up occurs. sent4: if the alkalineness does not occur then the fact that the inhaling neuroplasty occurs but the stabbing squawker does not occur is false. sent5: both the yodeling and the solidifying occurs. sent6: that the alkalineness does not occur yields that the inhaling neuroplasty does not occur and the stabbing squawker does not occur. sent7: if the alkalineness does not occur that the inhaling neuroplasty does not occur and the stabbing squawker does not occur is incorrect. sent8: that the score does not occur and the form does not occur does not hold if the intransitive happens. sent9: the fact that the inhaling neuroplasty but not the stabbing squawker happens is not true if the ceramics occurs. sent10: that the unitization does not occur is right. sent11: not the unitization but the aping happens. sent12: the inhaling neuroplasty does not occur and the stabbing squawker does not occur. sent13: the fact that the fact that the non-imperviousness and the outburst occurs is wrong is not false if the inhaling Rehnquist happens. sent14: if the nebulousness does not occur both the condemning proctor and the ceramics happens. sent15: the fact that that not the stabbing brewpub but the yodeling happens prevents the invertebrateness is not false. sent16: if the vertebrateness occurs then the hat happens. ; $proof$ = 
sent2 & sent11 -> int1: that the nebulousness occurs hold.; void -> assump1: Let's assume that the ceramicsness occurs.; int1 & assump1 -> int2: both the nebulousness and the ceramicsness happens.; __UNKNOWN__