the Kodiak is not cyclothymic.
sent1: something is a relaxin and a endomorphy if it is not a Bannockburn. sent2: the Kodiak is a archduchess. sent3: if the Kodiak does not contort ray then it does contort gastromy and it is a Bannockburn. sent4: if something is not a kind of a endomorphy then it is cyclothymic and it is a kind of a coordinator. sent5: the Kodiak thrills chlorpromazine. sent6: something is cyclothymic if it is a relaxin. sent7: the Kodiak is not staphylococcal but it does thrill chlorpromazine. sent8: if the Kodiak does bedizen Christian it is kinetic. sent9: if the cinder is saponaceous it is a headpin. sent10: something is a endomorphy if it is not a Bannockburn. sent11: the Somalian is cyclothymic thing that does stagger. sent12: the stylopodium is hexadecimal and is a chloropicrin if it is not a kind of a parturiency. sent13: something is a kind of cyclothymic thing that is a Bannockburn if it is not a coordinator. sent14: the ray is a relaxin. sent15: the chlorpromazine is not cyclothymic. sent16: the Kodiak is both not a Bannockburn and a coordinator.
sent16 -> int1: the Kodiak is not a Bannockburn.; sent1 -> int2: the Kodiak is both a relaxin and a endomorphy if it is not a kind of a Bannockburn.; int1 & int2 -> int3: the Kodiak is a relaxin and is a endomorphy.; int3 -> int4: the Kodiak is a kind of a relaxin.; sent6 -> int5: if the Kodiak is a relaxin then it is cyclothymic.; int4 & int5 -> hypothesis;
$hypothesis$ = the Kodiak is not cyclothymic. ; $context$ = sent1: something is a relaxin and a endomorphy if it is not a Bannockburn. sent2: the Kodiak is a archduchess. sent3: if the Kodiak does not contort ray then it does contort gastromy and it is a Bannockburn. sent4: if something is not a kind of a endomorphy then it is cyclothymic and it is a kind of a coordinator. sent5: the Kodiak thrills chlorpromazine. sent6: something is cyclothymic if it is a relaxin. sent7: the Kodiak is not staphylococcal but it does thrill chlorpromazine. sent8: if the Kodiak does bedizen Christian it is kinetic. sent9: if the cinder is saponaceous it is a headpin. sent10: something is a endomorphy if it is not a Bannockburn. sent11: the Somalian is cyclothymic thing that does stagger. sent12: the stylopodium is hexadecimal and is a chloropicrin if it is not a kind of a parturiency. sent13: something is a kind of cyclothymic thing that is a Bannockburn if it is not a coordinator. sent14: the ray is a relaxin. sent15: the chlorpromazine is not cyclothymic. sent16: the Kodiak is both not a Bannockburn and a coordinator. ; $proof$ = 
sent16 -> int1: the Kodiak is not a Bannockburn.; sent1 -> int2: the Kodiak is both a relaxin and a endomorphy if it is not a kind of a Bannockburn.; int1 & int2 -> int3: the Kodiak is a relaxin and is a endomorphy.; int3 -> int4: the Kodiak is a kind of a relaxin.; sent6 -> int5: if the Kodiak is a relaxin then it is cyclothymic.; int4 & int5 -> hypothesis; __DISPROVED__