the coattail is not a kind of a cob.
sent1: the brocade is not unsinkable. sent2: the methotrexate impacts tidiness and excuses sandfly if there is something such that it is not unsinkable. sent3: if something is discreet it is chromosomal and it is not a kind of a hum. sent4: the redwood is Calcuttan. sent5: the stonechat is a bezel. sent6: the brocade is not discreet if it shivers coattail. sent7: something does not shiver copy and does not shiver coattail if it is not a Suriname. sent8: everything is Calcuttan. sent9: if something is a kind of a bezel then it impacts extremist. sent10: the methotrexate is not a Suriname if it impacts tidiness and does excuse sandfly. sent11: that the extremist is indiscreet thing that is not a Champaign is incorrect if it does not shiver coattail. sent12: if the methotrexate does not shiver copy and it does not shiver coattail then the extremist does not shiver coattail. sent13: if the brocade is not discreet the methotrexate is not chromosomal and is not a hum. sent14: the extremist is a cob if the methotrexate is not chromosomal and is not a kind of a hum. sent15: that something is not a kind of a bezel and impacts extremist is not right if it is chromosomal. sent16: something is discreet if that it is not discreet and it is not a kind of a Champaign is wrong. sent17: the coattail is a cob if the redwood does impact extremist. sent18: everything is Calcuttan and it is a bezel. sent19: if the brocade does not shiver copy then it does shiver coattail and it is a Champaign.
sent18 -> int1: the redwood is Calcuttan and it is a bezel.; int1 -> int2: the redwood is a bezel.; sent9 -> int3: the redwood does impact extremist if it is a bezel.; int2 & int3 -> int4: the redwood does impact extremist.; int4 & sent17 -> hypothesis;
the coattail is not a cob.
sent15 -> int5: if the extremist is chromosomal the fact that it is not a bezel and it impacts extremist does not hold.; sent3 -> int6: the extremist is chromosomal but it does not hum if it is discreet.; sent16 -> int7: the extremist is discreet if the fact that it is a kind of non-discreet thing that is not a kind of a Champaign does not hold.; sent7 -> int8: the methotrexate does not shiver copy and it does not shiver coattail if it is not a Suriname.; sent1 -> int9: there exists something such that it is not unsinkable.; int9 & sent2 -> int10: the methotrexate does impact tidiness and it excuses sandfly.; sent10 & int10 -> int11: the methotrexate is not a Suriname.; int8 & int11 -> int12: the methotrexate does not shiver copy and it does not shiver coattail.; sent12 & int12 -> int13: the extremist does not shiver coattail.; sent11 & int13 -> int14: the fact that the extremist is both not discreet and not a Champaign does not hold.; int7 & int14 -> int15: the fact that the extremist is discreet is not incorrect.; int6 & int15 -> int16: the extremist is both not non-chromosomal and not a hum.; int16 -> int17: the extremist is not non-chromosomal.; int5 & int17 -> int18: that the extremist is not a bezel but it impacts extremist is incorrect.; int18 -> int19: there exists something such that the fact that it is not a kind of a bezel and impacts extremist is not correct.;
$hypothesis$ = the coattail is not a kind of a cob. ; $context$ = sent1: the brocade is not unsinkable. sent2: the methotrexate impacts tidiness and excuses sandfly if there is something such that it is not unsinkable. sent3: if something is discreet it is chromosomal and it is not a kind of a hum. sent4: the redwood is Calcuttan. sent5: the stonechat is a bezel. sent6: the brocade is not discreet if it shivers coattail. sent7: something does not shiver copy and does not shiver coattail if it is not a Suriname. sent8: everything is Calcuttan. sent9: if something is a kind of a bezel then it impacts extremist. sent10: the methotrexate is not a Suriname if it impacts tidiness and does excuse sandfly. sent11: that the extremist is indiscreet thing that is not a Champaign is incorrect if it does not shiver coattail. sent12: if the methotrexate does not shiver copy and it does not shiver coattail then the extremist does not shiver coattail. sent13: if the brocade is not discreet the methotrexate is not chromosomal and is not a hum. sent14: the extremist is a cob if the methotrexate is not chromosomal and is not a kind of a hum. sent15: that something is not a kind of a bezel and impacts extremist is not right if it is chromosomal. sent16: something is discreet if that it is not discreet and it is not a kind of a Champaign is wrong. sent17: the coattail is a cob if the redwood does impact extremist. sent18: everything is Calcuttan and it is a bezel. sent19: if the brocade does not shiver copy then it does shiver coattail and it is a Champaign. ; $proof$ = 
sent18 -> int1: the redwood is Calcuttan and it is a bezel.; int1 -> int2: the redwood is a bezel.; sent9 -> int3: the redwood does impact extremist if it is a bezel.; int2 & int3 -> int4: the redwood does impact extremist.; int4 & sent17 -> hypothesis; __DISPROVED__