the boxwood does not rubbish Celastrus.
sent1: the cefoperazone is a formality and/or it is a unison if the motorist does not bathe surfing. sent2: something rubbishes Celastrus and is a kind of a unison if it is not a formality. sent3: that the motorist is a kind of a formality is not false if the cefoperazone bathes kitten and/or does not bathe photosynthesis. sent4: the cefoperazone does bathe surfing. sent5: the ichthyologist is not a fir. sent6: something bathes surfing if it is not a taste. sent7: if something does not taste that it is not an interest and does bathe surfing does not hold. sent8: if something is not a quarterly it is a repair. sent9: the boxwood does not rubbish Celastrus if the ichthyologist does bathe surfing and it is a unison. sent10: that if that the cefoperazone does not bathe kitten is true then the fact that the cefoperazone does not bathe surfing and rubbishes Celastrus does not hold is not incorrect. sent11: that the motorist does not bathe ignobleness but it is an informality is not true if it is not a fir. sent12: the cefoperazone does bathe kitten or does not bathe photosynthesis or both. sent13: the motorist is a kind of a formality if the cefoperazone does bathe kitten. sent14: if the motorist is a kind of a formality then the fact that the ichthyologist is a unison hold. sent15: that the ichthyologist is not an interest but it does taste is false if it is not a kind of a fir. sent16: the motorist is a kind of an interest. sent17: if that something is not an interest but it is a kind of a taste is not correct then it bathes surfing.
sent3 & sent12 -> int1: the motorist is a formality.; int1 & sent14 -> int2: the ichthyologist is a unison.; sent17 -> int3: if that the ichthyologist is not an interest but it is a kind of a taste does not hold it does bathe surfing.; sent15 & sent5 -> int4: the fact that the ichthyologist is not a kind of an interest but it does taste is incorrect.; int3 & int4 -> int5: the ichthyologist bathes surfing.; int2 & int5 -> int6: the ichthyologist bathes surfing and is a unison.; int6 & sent9 -> hypothesis;
the boxwood rubbishes Celastrus.
sent7 -> int7: if the motorist is not a taste that it is not a kind of an interest and does bathe surfing does not hold.;
$hypothesis$ = the boxwood does not rubbish Celastrus. ; $context$ = sent1: the cefoperazone is a formality and/or it is a unison if the motorist does not bathe surfing. sent2: something rubbishes Celastrus and is a kind of a unison if it is not a formality. sent3: that the motorist is a kind of a formality is not false if the cefoperazone bathes kitten and/or does not bathe photosynthesis. sent4: the cefoperazone does bathe surfing. sent5: the ichthyologist is not a fir. sent6: something bathes surfing if it is not a taste. sent7: if something does not taste that it is not an interest and does bathe surfing does not hold. sent8: if something is not a quarterly it is a repair. sent9: the boxwood does not rubbish Celastrus if the ichthyologist does bathe surfing and it is a unison. sent10: that if that the cefoperazone does not bathe kitten is true then the fact that the cefoperazone does not bathe surfing and rubbishes Celastrus does not hold is not incorrect. sent11: that the motorist does not bathe ignobleness but it is an informality is not true if it is not a fir. sent12: the cefoperazone does bathe kitten or does not bathe photosynthesis or both. sent13: the motorist is a kind of a formality if the cefoperazone does bathe kitten. sent14: if the motorist is a kind of a formality then the fact that the ichthyologist is a unison hold. sent15: that the ichthyologist is not an interest but it does taste is false if it is not a kind of a fir. sent16: the motorist is a kind of an interest. sent17: if that something is not an interest but it is a kind of a taste is not correct then it bathes surfing. ; $proof$ = 
sent3 & sent12 -> int1: the motorist is a formality.; int1 & sent14 -> int2: the ichthyologist is a unison.; sent17 -> int3: if that the ichthyologist is not an interest but it is a kind of a taste does not hold it does bathe surfing.; sent15 & sent5 -> int4: the fact that the ichthyologist is not a kind of an interest but it does taste is incorrect.; int3 & int4 -> int5: the ichthyologist bathes surfing.; int2 & int5 -> int6: the ichthyologist bathes surfing and is a unison.; int6 & sent9 -> hypothesis; __PROVED__