the basic entails Rossini and collars retrovision.
sent1: the bioscope does champ. sent2: if that something does not champ and it does not entail Zannichellia does not hold then it does not collar retrovision. sent3: if the bioscope does not entail Rossini the basic entail Rossini and it collars retrovision. sent4: the sepal is a porosity or it is not a kind of a neodymium or both if it does not entail turnverein. sent5: the pioneer does champ. sent6: if the basic is not a neodymium then the bioscope is both a Orczy and not nonhuman. sent7: the bioscope does entail Zannichellia. sent8: if that the basic does not champ is not false then the bioscope does champ. sent9: the fact that the basic is sublittoral is not false. sent10: the fact that something does not champ and it does not entail Zannichellia does not hold if it does not entail Rossini. sent11: the sepal does not entail turnverein. sent12: the bioscope does not entail Rossini if it does champ and does entail Zannichellia. sent13: the fact that the basic is not a neodymium is not wrong if the sepal is a porosity. sent14: the fact that something is a white and is sugarless does not hold if it is not nonhuman. sent15: something is not ropey if the fact that it is a kind of a white and it is sugarless is not correct. sent16: the Francophile does not entail Rossini if that the bioscope does entail Rossini and is not non-topped is not true. sent17: The Zannichellia does entail bioscope. sent18: that something does entail Rossini and is a kind of a topped does not hold if it is not ropey.
sent1 & sent7 -> int1: the bioscope does champ and entails Zannichellia.; int1 & sent12 -> int2: the bioscope does not entail Rossini.; int2 & sent3 -> hypothesis;
the Francophile does not collar retrovision.
sent2 -> int3: if that the Francophile does not champ and does not entail Zannichellia is wrong it does not collar retrovision.; sent10 -> int4: if the Francophile does not entail Rossini the fact that it does not champ and does not entail Zannichellia is incorrect.; sent18 -> int5: that the bioscope does entail Rossini and it is a topped does not hold if it is not ropey.; sent15 -> int6: the bioscope is not ropey if the fact that it is a kind of a white and it is sugarless is not right.; sent14 -> int7: if the bioscope is not nonhuman the fact that it is white thing that is sugarless is false.; sent4 & sent11 -> int8: the sepal is a porosity or it is not a neodymium or both.;
$hypothesis$ = the basic entails Rossini and collars retrovision. ; $context$ = sent1: the bioscope does champ. sent2: if that something does not champ and it does not entail Zannichellia does not hold then it does not collar retrovision. sent3: if the bioscope does not entail Rossini the basic entail Rossini and it collars retrovision. sent4: the sepal is a porosity or it is not a kind of a neodymium or both if it does not entail turnverein. sent5: the pioneer does champ. sent6: if the basic is not a neodymium then the bioscope is both a Orczy and not nonhuman. sent7: the bioscope does entail Zannichellia. sent8: if that the basic does not champ is not false then the bioscope does champ. sent9: the fact that the basic is sublittoral is not false. sent10: the fact that something does not champ and it does not entail Zannichellia does not hold if it does not entail Rossini. sent11: the sepal does not entail turnverein. sent12: the bioscope does not entail Rossini if it does champ and does entail Zannichellia. sent13: the fact that the basic is not a neodymium is not wrong if the sepal is a porosity. sent14: the fact that something is a white and is sugarless does not hold if it is not nonhuman. sent15: something is not ropey if the fact that it is a kind of a white and it is sugarless is not correct. sent16: the Francophile does not entail Rossini if that the bioscope does entail Rossini and is not non-topped is not true. sent17: The Zannichellia does entail bioscope. sent18: that something does entail Rossini and is a kind of a topped does not hold if it is not ropey. ; $proof$ = 
sent1 & sent7 -> int1: the bioscope does champ and entails Zannichellia.; int1 & sent12 -> int2: the bioscope does not entail Rossini.; int2 & sent3 -> hypothesis; __PROVED__