that there exists something such that if it is chordate it is not a defensive and not a combatant is not correct.
sent1: there exists something such that if it is a chordate it is not defensive. sent2: if something is a videotape it is both not immiscible and not a requiescat. sent3: if the Gemini is a chordate it is not a defensive and it is not a combatant. sent4: there is something such that if it is a chordate it is not a defensive and it is a combatant.
sent3 -> hypothesis;
there exists something such that if it does videotape then it is not immiscible and not a requiescat.
sent2 -> int1: the Shetland is not immiscible and not a requiescat if it is a kind of a videotape.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is chordate it is not a defensive and not a combatant is not correct. ; $context$ = sent1: there exists something such that if it is a chordate it is not defensive. sent2: if something is a videotape it is both not immiscible and not a requiescat. sent3: if the Gemini is a chordate it is not a defensive and it is not a combatant. sent4: there is something such that if it is a chordate it is not a defensive and it is a combatant. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__