the tragopan is not a colt.
sent1: there is something such that that it is a kind of a sial and it does not silence rabbet is not correct. sent2: the Hausa shines if there is something such that it scours Shawnee and is a colt. sent3: the exponent is a kind of a sial if there exists something such that it is a sial. sent4: the confederate does shine. sent5: The Shawnee does scour Hausa. sent6: the Hausa is an absoluteness. sent7: the exponent is a colt if there is something such that that it is not a kind of a colt and is not a sial is not right. sent8: the Hausa is a kind of a colt. sent9: the exponent is a sial if there is something such that the fact that it is not a sial and it does not silence rabbet is false. sent10: the tragopan is not a colt if the fact that the Hausa does not scour Shawnee or it is a colt or both is not true. sent11: if the exponent is indiscreet the Hausa is not indiscreet. sent12: there exists something such that the fact that it is not a sial but a colt is false. sent13: there exists something such that the fact that it is not a kind of a sial and it does not silence rabbet does not hold. sent14: the affinity is proximate. sent15: the tragopan silences periosteum. sent16: if something that shines is a sial then the triviality is indiscreet. sent17: if there is something such that the fact that it is not a sial and not indiscreet is not correct the triviality is a kind of a sial. sent18: there exists something such that it does scour Shawnee. sent19: if the Hausa scours Shawnee then the fact that the exponent does not shine does not hold. sent20: there is something such that the fact that it does not shine and is indiscreet is not true. sent21: the Hausa does scour Shawnee. sent22: the tragopan is rhythmical. sent23: something is corneal. sent24: if the triviality is indiscreet then the tragopan is a colt.
sent19 & sent21 -> int1: the exponent does shine.; sent13 & sent9 -> int2: the exponent is a sial.; int1 & int2 -> int3: the exponent shines and it is a kind of a sial.; int3 -> int4: there is something such that it shines and it is a sial.; int4 & sent16 -> int5: the triviality is indiscreet.; int5 & sent24 -> hypothesis;
the tragopan is not a colt.
$hypothesis$ = the tragopan is not a colt. ; $context$ = sent1: there is something such that that it is a kind of a sial and it does not silence rabbet is not correct. sent2: the Hausa shines if there is something such that it scours Shawnee and is a colt. sent3: the exponent is a kind of a sial if there exists something such that it is a sial. sent4: the confederate does shine. sent5: The Shawnee does scour Hausa. sent6: the Hausa is an absoluteness. sent7: the exponent is a colt if there is something such that that it is not a kind of a colt and is not a sial is not right. sent8: the Hausa is a kind of a colt. sent9: the exponent is a sial if there is something such that the fact that it is not a sial and it does not silence rabbet is false. sent10: the tragopan is not a colt if the fact that the Hausa does not scour Shawnee or it is a colt or both is not true. sent11: if the exponent is indiscreet the Hausa is not indiscreet. sent12: there exists something such that the fact that it is not a sial but a colt is false. sent13: there exists something such that the fact that it is not a kind of a sial and it does not silence rabbet does not hold. sent14: the affinity is proximate. sent15: the tragopan silences periosteum. sent16: if something that shines is a sial then the triviality is indiscreet. sent17: if there is something such that the fact that it is not a sial and not indiscreet is not correct the triviality is a kind of a sial. sent18: there exists something such that it does scour Shawnee. sent19: if the Hausa scours Shawnee then the fact that the exponent does not shine does not hold. sent20: there is something such that the fact that it does not shine and is indiscreet is not true. sent21: the Hausa does scour Shawnee. sent22: the tragopan is rhythmical. sent23: something is corneal. sent24: if the triviality is indiscreet then the tragopan is a colt. ; $proof$ = 
sent19 & sent21 -> int1: the exponent does shine.; sent13 & sent9 -> int2: the exponent is a sial.; int1 & int2 -> int3: the exponent shines and it is a kind of a sial.; int3 -> int4: there is something such that it shines and it is a sial.; int4 & sent16 -> int5: the triviality is indiscreet.; int5 & sent24 -> hypothesis; __DISPROVED__