the bidding is a Congress.
sent1: if something is an intervention and it is inconvertible then the driveller is not an ending. sent2: if the sepal is a kind of an ending that is not a Corneille then it is not blastoporal. sent3: the sepal does end if the executrix is blastoporal. sent4: the peasant is a kind of a whip-snake and it roughs. sent5: the cornbread is a kind of an intervention if it is ictal. sent6: if that the driveller does not end hold then the sepal end but it is not a Corneille. sent7: the sepal is a kind of a Congress. sent8: the sepal does end. sent9: if the sepal is not blastoporal the bidding is a Congress. sent10: if the sepal is not inconvertible then the cornbread is inconvertible thing that is not a Corneille. sent11: something is a Corneille and is an intervention. sent12: the cornbread is a Muybridge and it is ictal. sent13: there is something such that it is a Muybridge. sent14: the driveller is not an intervention and is inconvertible if the sepal ends. sent15: there is something such that the fact that it is a kind of non-blastoporal thing that is not unapproachable does not hold. sent16: something is a whip-snake. sent17: there exists something such that it is unapproachable and is a whip-snake.
sent12 -> int1: the cornbread is ictal.; int1 & sent5 -> int2: the cornbread is a kind of an intervention.;
the bidding is not a kind of a Congress.
$hypothesis$ = the bidding is a Congress. ; $context$ = sent1: if something is an intervention and it is inconvertible then the driveller is not an ending. sent2: if the sepal is a kind of an ending that is not a Corneille then it is not blastoporal. sent3: the sepal does end if the executrix is blastoporal. sent4: the peasant is a kind of a whip-snake and it roughs. sent5: the cornbread is a kind of an intervention if it is ictal. sent6: if that the driveller does not end hold then the sepal end but it is not a Corneille. sent7: the sepal is a kind of a Congress. sent8: the sepal does end. sent9: if the sepal is not blastoporal the bidding is a Congress. sent10: if the sepal is not inconvertible then the cornbread is inconvertible thing that is not a Corneille. sent11: something is a Corneille and is an intervention. sent12: the cornbread is a Muybridge and it is ictal. sent13: there is something such that it is a Muybridge. sent14: the driveller is not an intervention and is inconvertible if the sepal ends. sent15: there is something such that the fact that it is a kind of non-blastoporal thing that is not unapproachable does not hold. sent16: something is a whip-snake. sent17: there exists something such that it is unapproachable and is a whip-snake. ; $proof$ = 
sent12 -> int1: the cornbread is ictal.; int1 & sent5 -> int2: the cornbread is a kind of an intervention.; __UNKNOWN__