the favorite is client-server.
sent1: that the Hippocampus is a Jacobite hold. sent2: if there is something such that it is a kind of a bollard that is a Jacobite the Hippocampus is client-server. sent3: the angiogram is not non-client-server if the Hippocampus is a kind of a bollard that is not non-client-server. sent4: the favorite is a Jacobite. sent5: if something is a kind of a bollard and it is not non-client-server the favorite is a Jacobite. sent6: there exists something such that it is a kind of a Jacobite. sent7: the favorite does surmise participation. sent8: there exists something such that it is client-server and it is a Jacobite. sent9: that the activity is client-server is true. sent10: the Angle equilibrates and it does surmise aerial. sent11: the Hippocampus is both a Barbary and a viverrine. sent12: if something is not low-resolution then that it is a Jacobite that is not a bollard is not true. sent13: if something that is a Jacobite is a bollard then the Hippocampus is client-server. sent14: the Hippocampus is client-server. sent15: if something is a Jacobite and it is a bollard then the favorite is client-server. sent16: the favorite is a Jacobite if there is something such that it is client-server and it is a bollard. sent17: there is something such that it is a kind of a bollard.
the favorite is not client-server.
sent12 -> int1: the fact that the Hippocampus is a Jacobite and is not a kind of a bollard is false if it is not low-resolution.;
$hypothesis$ = the favorite is client-server. ; $context$ = sent1: that the Hippocampus is a Jacobite hold. sent2: if there is something such that it is a kind of a bollard that is a Jacobite the Hippocampus is client-server. sent3: the angiogram is not non-client-server if the Hippocampus is a kind of a bollard that is not non-client-server. sent4: the favorite is a Jacobite. sent5: if something is a kind of a bollard and it is not non-client-server the favorite is a Jacobite. sent6: there exists something such that it is a kind of a Jacobite. sent7: the favorite does surmise participation. sent8: there exists something such that it is client-server and it is a Jacobite. sent9: that the activity is client-server is true. sent10: the Angle equilibrates and it does surmise aerial. sent11: the Hippocampus is both a Barbary and a viverrine. sent12: if something is not low-resolution then that it is a Jacobite that is not a bollard is not true. sent13: if something that is a Jacobite is a bollard then the Hippocampus is client-server. sent14: the Hippocampus is client-server. sent15: if something is a Jacobite and it is a bollard then the favorite is client-server. sent16: the favorite is a Jacobite if there is something such that it is client-server and it is a bollard. sent17: there is something such that it is a kind of a bollard. ; $proof$ = 
__UNKNOWN__