the ogive is a babu.
sent1: there is something such that it does not overprint hairball. sent2: the ogive is sudden if it is a babu. sent3: something does nurse marketing. sent4: the ogive does not champ if the Fissipedia garners but it does not champ. sent5: the ogive is a Bryum if there is something such that it is a nonuniformity. sent6: if something does not champ then that it is a kind of a monotreme and/or is not a nonuniformity is not true. sent7: the ogive is emotional. sent8: the ogive overprints godliness. sent9: something is not non-millenary if it flexes. sent10: the ogive is anguine. sent11: the fact that something is not a babu is true if that it is either a monotreme or not a nonuniformity or both is not right. sent12: if something is a kind of a monotreme then it is a babu. sent13: if something is a hayrack then the ogive is a babu. sent14: the fact that the suburbia is artful is correct if there is something such that it is a babu. sent15: there exists something such that it is a nonuniformity. sent16: the ogive is a monotreme if there is something such that it is a nonuniformity. sent17: that the key does overprint packinghouse if the key is a kind of a nonuniformity is true. sent18: if there exists something such that it does not overprint hairball the fact that the senna does not overrun slattern and does depressurize does not hold.
sent15 & sent16 -> int1: the ogive is a kind of a monotreme.; sent12 -> int2: if the ogive is a monotreme then it is a babu.; int1 & int2 -> hypothesis;
the ogive is not a kind of a babu.
sent11 -> int3: the ogive is not a kind of a babu if that it is a monotreme and/or it is not a nonuniformity is wrong.; sent6 -> int4: if the ogive does not champ the fact that it is a monotreme and/or it is not a nonuniformity is wrong.; sent1 & sent18 -> int5: that the senna does not overrun slattern but it does depressurize does not hold.; int5 -> int6: there exists something such that the fact that it does not overrun slattern and does depressurize does not hold.;
$hypothesis$ = the ogive is a babu. ; $context$ = sent1: there is something such that it does not overprint hairball. sent2: the ogive is sudden if it is a babu. sent3: something does nurse marketing. sent4: the ogive does not champ if the Fissipedia garners but it does not champ. sent5: the ogive is a Bryum if there is something such that it is a nonuniformity. sent6: if something does not champ then that it is a kind of a monotreme and/or is not a nonuniformity is not true. sent7: the ogive is emotional. sent8: the ogive overprints godliness. sent9: something is not non-millenary if it flexes. sent10: the ogive is anguine. sent11: the fact that something is not a babu is true if that it is either a monotreme or not a nonuniformity or both is not right. sent12: if something is a kind of a monotreme then it is a babu. sent13: if something is a hayrack then the ogive is a babu. sent14: the fact that the suburbia is artful is correct if there is something such that it is a babu. sent15: there exists something such that it is a nonuniformity. sent16: the ogive is a monotreme if there is something such that it is a nonuniformity. sent17: that the key does overprint packinghouse if the key is a kind of a nonuniformity is true. sent18: if there exists something such that it does not overprint hairball the fact that the senna does not overrun slattern and does depressurize does not hold. ; $proof$ = 
sent15 & sent16 -> int1: the ogive is a kind of a monotreme.; sent12 -> int2: if the ogive is a monotreme then it is a babu.; int1 & int2 -> hypothesis; __PROVED__