the candytuft is not a squeeze.
sent1: the candytuft does not vex swept and is a Rabat. sent2: the candytuft is not a caudate. sent3: if the oboe does not squeeze the scattering is saurian and a caudate. sent4: if the scattering is a saurian then the candytuft is a kind of a saurian. sent5: the oboe is not a squeeze and not non-caudate if the candytuft is a kind of a non-caudate. sent6: if the scattering is saurian the candytuft does not squeeze but it is a kind of a saurian. sent7: if the oboe is not a caudate then the scattering is a saurian and it is a Rabat. sent8: the candytuft is a saurian. sent9: the nympholept is not a squeeze and is not a kind of a caudate if the oboe vexes dallier. sent10: the scattering is a Rabat. sent11: that the oboe is not caudate is true. sent12: if the scattering is not a squeeze then the candytuft is a kind of a saurian. sent13: if the oboe is not a caudate then the scattering is a Rabat.
sent7 & sent11 -> int1: the scattering is a saurian and it is a Rabat.; int1 -> int2: the scattering is a kind of a saurian.; sent6 & int2 -> int3: the candytuft does not squeeze but it is a kind of a saurian.; int3 -> hypothesis;
the nympholept is not a kind of a Rabat.
$hypothesis$ = the candytuft is not a squeeze. ; $context$ = sent1: the candytuft does not vex swept and is a Rabat. sent2: the candytuft is not a caudate. sent3: if the oboe does not squeeze the scattering is saurian and a caudate. sent4: if the scattering is a saurian then the candytuft is a kind of a saurian. sent5: the oboe is not a squeeze and not non-caudate if the candytuft is a kind of a non-caudate. sent6: if the scattering is saurian the candytuft does not squeeze but it is a kind of a saurian. sent7: if the oboe is not a caudate then the scattering is a saurian and it is a Rabat. sent8: the candytuft is a saurian. sent9: the nympholept is not a squeeze and is not a kind of a caudate if the oboe vexes dallier. sent10: the scattering is a Rabat. sent11: that the oboe is not caudate is true. sent12: if the scattering is not a squeeze then the candytuft is a kind of a saurian. sent13: if the oboe is not a caudate then the scattering is a Rabat. ; $proof$ = 
sent7 & sent11 -> int1: the scattering is a saurian and it is a Rabat.; int1 -> int2: the scattering is a kind of a saurian.; sent6 & int2 -> int3: the candytuft does not squeeze but it is a kind of a saurian.; int3 -> hypothesis; __PROVED__