the cordite is not a Stuyvesant.
sent1: if there exists something such that that it is Russian and it is a essonite is not right the cordite is a Stuyvesant. sent2: if something is not Russian the cordite is a Stuyvesant. sent3: there is something such that it is Russian and a essonite. sent4: the fact that the Baptist is a Russian and it is a essonite does not hold.
sent4 -> int1: there exists something such that the fact that it is a Russian and it is a essonite is not true.; int1 & sent1 -> hypothesis;
$hypothesis$ = the cordite is not a Stuyvesant. ; $context$ = sent1: if there exists something such that that it is Russian and it is a essonite is not right the cordite is a Stuyvesant. sent2: if something is not Russian the cordite is a Stuyvesant. sent3: there is something such that it is Russian and a essonite. sent4: the fact that the Baptist is a Russian and it is a essonite does not hold. ; $proof$ = 
sent4 -> int1: there exists something such that the fact that it is a Russian and it is a essonite is not true.; int1 & sent1 -> hypothesis; __DISPROVED__