that there exists something such that if it is a kind of a Slav that is not non-apogamic it is not a kind of a sarcophagus is not true.
sent1: something is not a kind of a sarcophagus if it is a kind of a Slav that is apogamic.
sent1 -> int1: the dribble is not a kind of a sarcophagus if it is a Slav and it is apogamic.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is a kind of a Slav that is not non-apogamic it is not a kind of a sarcophagus is not true. ; $context$ = sent1: something is not a kind of a sarcophagus if it is a kind of a Slav that is apogamic. ; $proof$ = 
sent1 -> int1: the dribble is not a kind of a sarcophagus if it is a Slav and it is apogamic.; int1 -> hypothesis; __DISPROVED__