the thorax does not oppose.
sent1: the thorax does oppose and is calcific.
sent1 -> hypothesis;
$hypothesis$ = the thorax does not oppose. ; $context$ = sent1: the thorax does oppose and is calcific. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__