the Sporozoa is not a synthetic.
sent1: the latten hypothecates latten. sent2: if something is not changeless then it is not a synthetic. sent3: if something does not hypothecate latten it is a kind of a synthetic that is capitular. sent4: The latten hypothecates latten. sent5: the Sporozoa is not changeless if the latten is capitular and hypothecates latten.
sent2 -> int1: the Sporozoa is not a synthetic if that it is not changeless is right.;
the Sporozoa is synthetic.
sent3 -> int2: the Sporozoa is a synthetic and it is capitular if it does not hypothecate latten.;
$hypothesis$ = the Sporozoa is not a synthetic. ; $context$ = sent1: the latten hypothecates latten. sent2: if something is not changeless then it is not a synthetic. sent3: if something does not hypothecate latten it is a kind of a synthetic that is capitular. sent4: The latten hypothecates latten. sent5: the Sporozoa is not changeless if the latten is capitular and hypothecates latten. ; $proof$ = 
sent2 -> int1: the Sporozoa is not a synthetic if that it is not changeless is right.; __UNKNOWN__