the Benedictine is thermometric.
sent1: if that something does consort Xenophon but it is not thermometric is not true then it is thermometric. sent2: something does consort Xenophon if that it does not clank stoplight and does jockey antipodal does not hold. sent3: the Benedictine is thermometric if that the pantograph is non-algebraic thing that does not connect is not correct. sent4: if the greenbelt consorts Xenophon then the Dane unblocks. sent5: the greenbelt does connect if the fact that the Dane is a murine but it does not connect is not right. sent6: something does consort Xenophon if it does not jockey antipodal. sent7: if something does unblock it is Aleutian. sent8: the fact that something consorts Xenophon but it is not thermometric is false if it is not a Levantine. sent9: that the greenbelt does not clank stoplight and does jockey antipodal is not right if it is a Levantine. sent10: if the greenbelt does connect then the gleaner is not non-Aleutian. sent11: if something is white-collar it jockeys hogshead. sent12: if the fact that the Dane is Aleutian is true then that the pantograph is algebraic thing that does not connect is false. sent13: something that is Levantine and does consort Xenophon is not thermometric. sent14: if the Dane is Aleutian then the fact that the pantograph is non-algebraic thing that does not connect does not hold.
sent2 -> int1: the greenbelt consorts Xenophon if that it does not clank stoplight and does jockey antipodal is incorrect.; sent7 -> int2: the Dane is Aleutian if it does unblock.;
the gleaner is thermometric.
sent1 -> int3: the gleaner is thermometric if that it does consort Xenophon and is not thermometric is not correct.; sent8 -> int4: the fact that if that the gleaner is not Levantine is correct the fact that the fact that the gleaner does consort Xenophon and is not thermometric hold is not right hold.;
$hypothesis$ = the Benedictine is thermometric. ; $context$ = sent1: if that something does consort Xenophon but it is not thermometric is not true then it is thermometric. sent2: something does consort Xenophon if that it does not clank stoplight and does jockey antipodal does not hold. sent3: the Benedictine is thermometric if that the pantograph is non-algebraic thing that does not connect is not correct. sent4: if the greenbelt consorts Xenophon then the Dane unblocks. sent5: the greenbelt does connect if the fact that the Dane is a murine but it does not connect is not right. sent6: something does consort Xenophon if it does not jockey antipodal. sent7: if something does unblock it is Aleutian. sent8: the fact that something consorts Xenophon but it is not thermometric is false if it is not a Levantine. sent9: that the greenbelt does not clank stoplight and does jockey antipodal is not right if it is a Levantine. sent10: if the greenbelt does connect then the gleaner is not non-Aleutian. sent11: if something is white-collar it jockeys hogshead. sent12: if the fact that the Dane is Aleutian is true then that the pantograph is algebraic thing that does not connect is false. sent13: something that is Levantine and does consort Xenophon is not thermometric. sent14: if the Dane is Aleutian then the fact that the pantograph is non-algebraic thing that does not connect does not hold. ; $proof$ = 
sent2 -> int1: the greenbelt consorts Xenophon if that it does not clank stoplight and does jockey antipodal is incorrect.; sent7 -> int2: the Dane is Aleutian if it does unblock.; __UNKNOWN__