there exists something such that it outgenerals Reiter and it is a superhighway.
sent1: there is something such that it outgenerals Reiter. sent2: the fact that the decoder is not a clarion and does outgeneral Reiter does not hold. sent3: that the cress is a doorknob and is not metric is not correct. sent4: the fact that the Potemkin does not outgeneral smasher is not wrong. sent5: the Potemkin is a kind of a Baldwin. sent6: if the cress does not outgeneral smasher that the Potemkin is not a doorknob and it is not a kind of a metric is not right. sent7: the patroller is a kind of a doorknob. sent8: the fact that the cress is not a doorknob and not a superhighway is not true if the pendragon is not biological. sent9: if the fact that the Potemkin does not outgeneral smasher and is not a doorknob is not correct it is a doorknob. sent10: that the cress is biological is right if the fact that it is both a doorknob and not metric does not hold. sent11: if the fact that the Potemkin is not biological is correct that the pendragon does not outgeneral smasher and it does not outgeneral Reiter is wrong. sent12: the photographer billows countermarch and it outgenerals infantryman. sent13: if the fact that something is not a Baldwin and it is not biological is not right then it is biological. sent14: the smasher does outgeneral Reiter. sent15: The fact that the smasher does not outgeneral Potemkin is not wrong. sent16: the cress does outgeneral smasher if the fact that it is not a doorknob is not wrong. sent17: if the Potemkin does not outgeneral smasher then that the pendragon is not a kind of a Baldwin and it is not a kind of a superhighway is not correct. sent18: that the cress does not outgeneral Reiter is not true. sent19: something is a superhighway if the fact that it is not a Baldwin and is not a superhighway is wrong.
sent10 & sent3 -> int1: the fact that the cress is not biological is incorrect.; sent19 -> int2: if the fact that the pendragon is not a Baldwin and it is not a superhighway is not correct it is a superhighway.; sent17 & sent4 -> int3: the fact that the pendragon is not a Baldwin and not a superhighway does not hold.; int2 & int3 -> int4: the pendragon is a superhighway.;
$hypothesis$ = there exists something such that it outgenerals Reiter and it is a superhighway. ; $context$ = sent1: there is something such that it outgenerals Reiter. sent2: the fact that the decoder is not a clarion and does outgeneral Reiter does not hold. sent3: that the cress is a doorknob and is not metric is not correct. sent4: the fact that the Potemkin does not outgeneral smasher is not wrong. sent5: the Potemkin is a kind of a Baldwin. sent6: if the cress does not outgeneral smasher that the Potemkin is not a doorknob and it is not a kind of a metric is not right. sent7: the patroller is a kind of a doorknob. sent8: the fact that the cress is not a doorknob and not a superhighway is not true if the pendragon is not biological. sent9: if the fact that the Potemkin does not outgeneral smasher and is not a doorknob is not correct it is a doorknob. sent10: that the cress is biological is right if the fact that it is both a doorknob and not metric does not hold. sent11: if the fact that the Potemkin is not biological is correct that the pendragon does not outgeneral smasher and it does not outgeneral Reiter is wrong. sent12: the photographer billows countermarch and it outgenerals infantryman. sent13: if the fact that something is not a Baldwin and it is not biological is not right then it is biological. sent14: the smasher does outgeneral Reiter. sent15: The fact that the smasher does not outgeneral Potemkin is not wrong. sent16: the cress does outgeneral smasher if the fact that it is not a doorknob is not wrong. sent17: if the Potemkin does not outgeneral smasher then that the pendragon is not a kind of a Baldwin and it is not a kind of a superhighway is not correct. sent18: that the cress does not outgeneral Reiter is not true. sent19: something is a superhighway if the fact that it is not a Baldwin and is not a superhighway is wrong. ; $proof$ = 
sent10 & sent3 -> int1: the fact that the cress is not biological is incorrect.; sent19 -> int2: if the fact that the pendragon is not a Baldwin and it is not a superhighway is not correct it is a superhighway.; sent17 & sent4 -> int3: the fact that the pendragon is not a Baldwin and not a superhighway does not hold.; int2 & int3 -> int4: the pendragon is a superhighway.; __UNKNOWN__