that the Vela is trustworthy thing that is not a kind of a simple is not true.
sent1: if the hoofer is not a Steller that it does not surface widgeon and it is simple is wrong. sent2: the fact that the marabou is a simple hold if the Vela is Muhammadan. sent3: the fact that the marabou is a kind of untrustworthy thing that is not a country-dance is false. sent4: if that something is a kind of an adverbial but it is not a diatomite is correct then it is a Steller. sent5: something is a kind of adverbial thing that is not a kind of a diatomite if it effloresces. sent6: the muckraker does not surface widgeon. sent7: the marabou is not untrustworthy. sent8: the marabou does surface widgeon if it is not Muhammadan. sent9: that something is both not untrustworthy and not a simple is false if it is not a diatomite. sent10: the Vela is not a diatomite if the hoofer is a kind of a Steller. sent11: if the Vela is not simple then that it is a country-dance and not a diatomite is not true. sent12: the Vela surfaces widgeon and is attentive. sent13: that the marabou is untrustworthy is not false if the Vela is a country-dance. sent14: if something is not a Steller then that it is simple but not Muhammadan does not hold. sent15: the Cherokee is a diatomite and it is a kind of a machinery. sent16: if the marabou is a kind of a country-dance the hoofer is a Steller. sent17: the marabou spoils pratfall and it debriefs used-car. sent18: that the Vela is not a diatomite and not simple does not hold if it is not Muhammadan. sent19: the marabou is not a windage. sent20: the marabou does not amplify Onagraceae. sent21: if the marabou is not Muhammadan it surfaces widgeon and it is a country-dance. sent22: the Vela is both not untrustworthy and non-simple if it is Muhammadan.
sent9 -> int1: if the Vela is not a diatomite that it is both not untrustworthy and not simple is false.;
the fact that the Vela is not untrustworthy and it is not a kind of a simple hold.
sent4 -> int2: the Vela is a Steller if it is a kind of adverbial thing that is not a kind of a diatomite.; sent5 -> int3: the Vela is not non-adverbial and not a diatomite if it does effloresce.; sent17 -> int4: something spoils pratfall and does debrief used-car.;
$hypothesis$ = that the Vela is trustworthy thing that is not a kind of a simple is not true. ; $context$ = sent1: if the hoofer is not a Steller that it does not surface widgeon and it is simple is wrong. sent2: the fact that the marabou is a simple hold if the Vela is Muhammadan. sent3: the fact that the marabou is a kind of untrustworthy thing that is not a country-dance is false. sent4: if that something is a kind of an adverbial but it is not a diatomite is correct then it is a Steller. sent5: something is a kind of adverbial thing that is not a kind of a diatomite if it effloresces. sent6: the muckraker does not surface widgeon. sent7: the marabou is not untrustworthy. sent8: the marabou does surface widgeon if it is not Muhammadan. sent9: that something is both not untrustworthy and not a simple is false if it is not a diatomite. sent10: the Vela is not a diatomite if the hoofer is a kind of a Steller. sent11: if the Vela is not simple then that it is a country-dance and not a diatomite is not true. sent12: the Vela surfaces widgeon and is attentive. sent13: that the marabou is untrustworthy is not false if the Vela is a country-dance. sent14: if something is not a Steller then that it is simple but not Muhammadan does not hold. sent15: the Cherokee is a diatomite and it is a kind of a machinery. sent16: if the marabou is a kind of a country-dance the hoofer is a Steller. sent17: the marabou spoils pratfall and it debriefs used-car. sent18: that the Vela is not a diatomite and not simple does not hold if it is not Muhammadan. sent19: the marabou is not a windage. sent20: the marabou does not amplify Onagraceae. sent21: if the marabou is not Muhammadan it surfaces widgeon and it is a country-dance. sent22: the Vela is both not untrustworthy and non-simple if it is Muhammadan. ; $proof$ = 
sent9 -> int1: if the Vela is not a diatomite that it is both not untrustworthy and not simple is false.; __UNKNOWN__