that both the stoning printout and the obstetricsness happens does not hold.
sent1: if the ammoniating escadrille but not the versification occurs the fact that the phrasing does not occur is true. sent2: both the stoning printout and the obstetricsness occurs if the phrasing does not occur. sent3: the versification does not occur. sent4: the masterstroke does not occur. sent5: the clanking portage happens and the sawm does not occur. sent6: the onymousness happens and the atrioventricularness occurs. sent7: the assuming happens and the fallibleness occurs. sent8: the stoning printout occurs. sent9: that the philandering does not occur yields that both the versification and the phrasing occurs. sent10: if the phrasing does not occur the stoning printout happens. sent11: if that the atrioventricularness and the crooking banzai occurs is not wrong then the philandering does not occur. sent12: the crooking ponycart does not occur. sent13: the tiding does not occur if the stoning nun and the non-hydraulicsness occurs. sent14: the ammoniating escadrille occurs. sent15: the fact that the stoning printout happens and the obstetricsness happens does not hold if the ammoniating escadrille does not occur. sent16: that the ammoniating Sporobolus but not the flashover occurs prevents the spitball.
sent14 & sent3 -> int1: the ammoniating escadrille occurs and the versification does not occur.; sent1 & int1 -> int2: the phrasing does not occur.; sent2 & int2 -> hypothesis;
the fact that the stoning printout and the obstetricsness occurs is false.
sent6 -> int3: that the atrioventricularness occurs is true.;
$hypothesis$ = that both the stoning printout and the obstetricsness happens does not hold. ; $context$ = sent1: if the ammoniating escadrille but not the versification occurs the fact that the phrasing does not occur is true. sent2: both the stoning printout and the obstetricsness occurs if the phrasing does not occur. sent3: the versification does not occur. sent4: the masterstroke does not occur. sent5: the clanking portage happens and the sawm does not occur. sent6: the onymousness happens and the atrioventricularness occurs. sent7: the assuming happens and the fallibleness occurs. sent8: the stoning printout occurs. sent9: that the philandering does not occur yields that both the versification and the phrasing occurs. sent10: if the phrasing does not occur the stoning printout happens. sent11: if that the atrioventricularness and the crooking banzai occurs is not wrong then the philandering does not occur. sent12: the crooking ponycart does not occur. sent13: the tiding does not occur if the stoning nun and the non-hydraulicsness occurs. sent14: the ammoniating escadrille occurs. sent15: the fact that the stoning printout happens and the obstetricsness happens does not hold if the ammoniating escadrille does not occur. sent16: that the ammoniating Sporobolus but not the flashover occurs prevents the spitball. ; $proof$ = 
sent14 & sent3 -> int1: the ammoniating escadrille occurs and the versification does not occur.; sent1 & int1 -> int2: the phrasing does not occur.; sent2 & int2 -> hypothesis; __DISPROVED__