there exists something such that it is insatiate and it is a Coriandrum.
sent1: the hand is not pleochroic but it is insatiate. sent2: something is not insincere if the fact that it is ostentatious and is insincere is incorrect. sent3: the molle is not a kind of a tableland and/or it watches Dubuque if the viewgraph is orthoptic. sent4: the special is insincere thing that is glandular. sent5: the submucosa is not pleochroic but it is poetic if there is something such that it is not insatiate. sent6: if the transferer is both insatiate and a Coriandrum then that the hand is not insatiate is not incorrect. sent7: a non-malarial thing is a Fillmore and is orthoptic. sent8: there exists something such that it is a Coriandrum. sent9: the hand is not insincere. sent10: if the timekeeper is uncertain then the viewgraph is not malarial. sent11: there exists something such that that it is not a solace and it is barometric is not true. sent12: the fact that the aglet is a kind of a sculling is right if there is something such that that it is not a solace and it is barometric does not hold. sent13: if the saguaro is not insincere the transferer is a kind of insatiate thing that is a kind of a Coriandrum. sent14: if the aglet does scull the timekeeper is uncertain. sent15: if there is something such that it is not a tableland and/or does watch Dubuque then the bronchoscope is not bicylindrical.
sent1 -> int1: the hand is insatiate.;
the submucosa is not pleochroic and not non-poetic.
sent2 -> int2: if the fact that the saguaro is ostentatious thing that is insincere is not right it is not insincere.; sent7 -> int3: the viewgraph is a Fillmore and it is orthoptic if it is not malarial.; sent11 & sent12 -> int4: the aglet does scull.; sent14 & int4 -> int5: the timekeeper is uncertain.; sent10 & int5 -> int6: the viewgraph is not malarial.; int3 & int6 -> int7: the viewgraph is a kind of a Fillmore and it is orthoptic.; int7 -> int8: the viewgraph is orthoptic.; sent3 & int8 -> int9: either the molle is not a tableland or it does watch Dubuque or both.; int9 -> int10: something is not a tableland and/or it does watch Dubuque.; int10 & sent15 -> int11: the bronchoscope is not bicylindrical.; int11 -> int12: there exists something such that it is not bicylindrical.;
$hypothesis$ = there exists something such that it is insatiate and it is a Coriandrum. ; $context$ = sent1: the hand is not pleochroic but it is insatiate. sent2: something is not insincere if the fact that it is ostentatious and is insincere is incorrect. sent3: the molle is not a kind of a tableland and/or it watches Dubuque if the viewgraph is orthoptic. sent4: the special is insincere thing that is glandular. sent5: the submucosa is not pleochroic but it is poetic if there is something such that it is not insatiate. sent6: if the transferer is both insatiate and a Coriandrum then that the hand is not insatiate is not incorrect. sent7: a non-malarial thing is a Fillmore and is orthoptic. sent8: there exists something such that it is a Coriandrum. sent9: the hand is not insincere. sent10: if the timekeeper is uncertain then the viewgraph is not malarial. sent11: there exists something such that that it is not a solace and it is barometric is not true. sent12: the fact that the aglet is a kind of a sculling is right if there is something such that that it is not a solace and it is barometric does not hold. sent13: if the saguaro is not insincere the transferer is a kind of insatiate thing that is a kind of a Coriandrum. sent14: if the aglet does scull the timekeeper is uncertain. sent15: if there is something such that it is not a tableland and/or does watch Dubuque then the bronchoscope is not bicylindrical. ; $proof$ = 
sent1 -> int1: the hand is insatiate.; __UNKNOWN__