the fact that there is something such that if it is not a shyster then it does not summon does not hold.
sent1: there is something such that if it is not a kind of a pesantran then it is not a diffuser. sent2: if the Light is not a shyster then it does summon. sent3: the swatch is not a pursuit if it does not hoodoo Calvino. sent4: there is something such that if it is not a thread then it is not a hassle. sent5: something does not summon if the fact that it is a shyster is not incorrect. sent6: a non-greenside thing does not photosensitize swatch. sent7: something that does not down acquittal is a thread. sent8: something does not summon if it is not a shyster. sent9: there exists something such that if it is a kind of a shyster it does not summon. sent10: if the teaser does not photosensitize swatch it is a shyster. sent11: if the Light is not a kind of a shyster then it does not down acquittal. sent12: something that is not optical is not athletics. sent13: the seesaw is not a kind of a shyster if it is not inedible. sent14: something summons if the fact that it is not a shyster is right. sent15: if the Light is a shyster it does not summon. sent16: there exists something such that if it is not a kind of a shyster it does summon.
sent8 -> int1: the Light does not summon if that it is not a shyster hold.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a shyster then it does not summon does not hold. ; $context$ = sent1: there is something such that if it is not a kind of a pesantran then it is not a diffuser. sent2: if the Light is not a shyster then it does summon. sent3: the swatch is not a pursuit if it does not hoodoo Calvino. sent4: there is something such that if it is not a thread then it is not a hassle. sent5: something does not summon if the fact that it is a shyster is not incorrect. sent6: a non-greenside thing does not photosensitize swatch. sent7: something that does not down acquittal is a thread. sent8: something does not summon if it is not a shyster. sent9: there exists something such that if it is a kind of a shyster it does not summon. sent10: if the teaser does not photosensitize swatch it is a shyster. sent11: if the Light is not a kind of a shyster then it does not down acquittal. sent12: something that is not optical is not athletics. sent13: the seesaw is not a kind of a shyster if it is not inedible. sent14: something summons if the fact that it is not a shyster is right. sent15: if the Light is a shyster it does not summon. sent16: there exists something such that if it is not a kind of a shyster it does summon. ; $proof$ = 
sent8 -> int1: the Light does not summon if that it is not a shyster hold.; int1 -> hypothesis; __DISPROVED__