that the lamplighter is a kind of a dreadlock that is percussive is wrong.
sent1: the melanin bars. sent2: the lamplighter is a kind of a dreadlock if there exists something such that it does not compartmentalize styrene. sent3: something compartmentalizes styrene and it does salt Wylie. sent4: that the lamplighter is percussive thing that is not greater is not correct. sent5: the conjugate is not a dreadlock if the Somali is a dreadlock that does compartmentalize Selma. sent6: the lamplighter does salt Wylie. sent7: if there exists something such that that it compartmentalizes styrene and it does salt Wylie is not right the lamplighter is a dreadlock. sent8: there is something such that that it compartmentalizes styrene and it salts Wylie is not true. sent9: the lamplighter is percussive if the fact that it is non-percussive thing that is not greater is false. sent10: if the TNT is a snuff the veterinarian does compartmentalize sashay. sent11: that the lamplighter is not percussive and is not greater is not right. sent12: if something compartmentalizes sashay then the fact that it is a Morone and not a bunch is right. sent13: the nanomia is greater. sent14: if the veterinarian is not a bunch the Somali is not greater. sent15: if there exists something such that it does bar the TNT is a snuff. sent16: if something is not greater it is a dreadlock and does compartmentalize Selma.
sent8 & sent7 -> int1: the lamplighter is a kind of a dreadlock.; sent9 & sent11 -> int2: the lamplighter is percussive.; int1 & int2 -> hypothesis;
the fact that the lamplighter is a kind of a dreadlock and it is percussive is not true.
sent16 -> int3: if that the Somali is not greater is true it is a dreadlock and it compartmentalizes Selma.; sent12 -> int4: the veterinarian is a Morone and is not a bunch if it compartmentalizes sashay.; sent1 -> int5: there is something such that it is a bars.; int5 & sent15 -> int6: the TNT is a snuff.; sent10 & int6 -> int7: the veterinarian compartmentalizes sashay.; int4 & int7 -> int8: the veterinarian is a kind of a Morone and is not a bunch.; int8 -> int9: the veterinarian is not a kind of a bunch.; sent14 & int9 -> int10: the Somali is not greater.; int3 & int10 -> int11: the Somali is a kind of a dreadlock that does compartmentalize Selma.; sent5 & int11 -> int12: the conjugate is not a kind of a dreadlock.; int12 -> int13: there exists something such that it is not a dreadlock.;
$hypothesis$ = that the lamplighter is a kind of a dreadlock that is percussive is wrong. ; $context$ = sent1: the melanin bars. sent2: the lamplighter is a kind of a dreadlock if there exists something such that it does not compartmentalize styrene. sent3: something compartmentalizes styrene and it does salt Wylie. sent4: that the lamplighter is percussive thing that is not greater is not correct. sent5: the conjugate is not a dreadlock if the Somali is a dreadlock that does compartmentalize Selma. sent6: the lamplighter does salt Wylie. sent7: if there exists something such that that it compartmentalizes styrene and it does salt Wylie is not right the lamplighter is a dreadlock. sent8: there is something such that that it compartmentalizes styrene and it salts Wylie is not true. sent9: the lamplighter is percussive if the fact that it is non-percussive thing that is not greater is false. sent10: if the TNT is a snuff the veterinarian does compartmentalize sashay. sent11: that the lamplighter is not percussive and is not greater is not right. sent12: if something compartmentalizes sashay then the fact that it is a Morone and not a bunch is right. sent13: the nanomia is greater. sent14: if the veterinarian is not a bunch the Somali is not greater. sent15: if there exists something such that it does bar the TNT is a snuff. sent16: if something is not greater it is a dreadlock and does compartmentalize Selma. ; $proof$ = 
sent8 & sent7 -> int1: the lamplighter is a kind of a dreadlock.; sent9 & sent11 -> int2: the lamplighter is percussive.; int1 & int2 -> hypothesis; __DISPROVED__