the fact that there exists something such that if it does not snuffle Tho it is not a kind of a gitano is false.
sent1: something does not declare if that it is not Hebridean is true. sent2: the inoculator is not a gitano if it does not snuffle Tho.
sent2 -> hypothesis;
that there exists something such that if it is not Hebridean it does not declare is not false.
sent1 -> int1: if the corbel is not Hebridean it does not declare.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not snuffle Tho it is not a kind of a gitano is false. ; $context$ = sent1: something does not declare if that it is not Hebridean is true. sent2: the inoculator is not a gitano if it does not snuffle Tho. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__