the schorl is not a kind of a bodkin.
sent1: the irons is a bodkin. sent2: everything does not promise irons and it is a bodkin. sent3: the schorl does not promise irons.
sent2 -> int1: the schorl does not promise irons but it is a kind of a bodkin.; int1 -> hypothesis;
$hypothesis$ = the schorl is not a kind of a bodkin. ; $context$ = sent1: the irons is a bodkin. sent2: everything does not promise irons and it is a bodkin. sent3: the schorl does not promise irons. ; $proof$ = 
sent2 -> int1: the schorl does not promise irons but it is a kind of a bodkin.; int1 -> hypothesis; __DISPROVED__