the fact that there is something such that if it is sculptural and does not investigate Shastan it is not a kind of a president is not correct.
sent1: the recruiting-sergeant is not a president if it is sculptural and does not investigate Shastan. sent2: there is something such that if it is sculptural and it does not investigate Shastan then it is a president.
sent1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is sculptural and does not investigate Shastan it is not a kind of a president is not correct. ; $context$ = sent1: the recruiting-sergeant is not a president if it is sculptural and does not investigate Shastan. sent2: there is something such that if it is sculptural and it does not investigate Shastan then it is a president. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__