the fact that the addict is not nonracial hold.
sent1: the infundibulum is a kind of a cephalochordate. sent2: if the pericarp is intractable and it is not symbolic then the addict is nonracial. sent3: that the pericarp is not symbolic hold if the infundibulum is a cephalochordate. sent4: if the infundibulum is a cephalochordate the pericarp is a kind of non-tractable thing that is not symbolic. sent5: the pericarp is not symbolic.
sent4 & sent1 -> int1: the pericarp is not tractable and is not symbolic.; sent2 & int1 -> hypothesis;
$hypothesis$ = the fact that the addict is not nonracial hold. ; $context$ = sent1: the infundibulum is a kind of a cephalochordate. sent2: if the pericarp is intractable and it is not symbolic then the addict is nonracial. sent3: that the pericarp is not symbolic hold if the infundibulum is a cephalochordate. sent4: if the infundibulum is a cephalochordate the pericarp is a kind of non-tractable thing that is not symbolic. sent5: the pericarp is not symbolic. ; $proof$ = 
sent4 & sent1 -> int1: the pericarp is not tractable and is not symbolic.; sent2 & int1 -> hypothesis; __DISPROVED__