the Blackshirt is a VCR.
sent1: the Blackshirt is not a VCR if there is something such that it is not a kind of a forested and it is unsuccessful. sent2: the Argonaut is not a forested but it is unsuccessful. sent3: something is both not a prothrombinase and a forested if it is not a kind of a VCR.
sent2 -> int1: there is something such that it is not a forested but unsuccessful.; int1 & sent1 -> hypothesis;
the myrmecophyte is not a prothrombinase but a forested.
sent3 -> int2: if the myrmecophyte is not a VCR then it is not a kind of a prothrombinase and it is a kind of a forested.;
$hypothesis$ = the Blackshirt is a VCR. ; $context$ = sent1: the Blackshirt is not a VCR if there is something such that it is not a kind of a forested and it is unsuccessful. sent2: the Argonaut is not a forested but it is unsuccessful. sent3: something is both not a prothrombinase and a forested if it is not a kind of a VCR. ; $proof$ = 
sent2 -> int1: there is something such that it is not a forested but unsuccessful.; int1 & sent1 -> hypothesis; __DISPROVED__