the fact that there is something such that if it is not a encapsulation it is not a matador and not a poilu does not hold.
sent1: something is not a matador and it is not a kind of a poilu if it is not a kind of a encapsulation.
sent1 -> int1: the property is not a matador and it is not a kind of a poilu if it is not a encapsulation.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a encapsulation it is not a matador and not a poilu does not hold. ; $context$ = sent1: something is not a matador and it is not a kind of a poilu if it is not a kind of a encapsulation. ; $proof$ = 
sent1 -> int1: the property is not a matador and it is not a kind of a poilu if it is not a encapsulation.; int1 -> hypothesis; __DISPROVED__