the leader is not a kind of a transferrin.
sent1: there exists something such that it is a titrator. sent2: the leader is a transferrin. sent3: if something does stick trochanter it is an implosion.
sent2 -> hypothesis;
the leader is not a transferrin.
sent3 -> int1: if the akaryocyte does stick trochanter it is an implosion.;
$hypothesis$ = the leader is not a kind of a transferrin. ; $context$ = sent1: there exists something such that it is a titrator. sent2: the leader is a transferrin. sent3: if something does stick trochanter it is an implosion. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__