the serologist is not a kind of a internalization.
sent1: that the colliery does not prioritize equatorial and is not noncaloric is not true if it is not a WSW. sent2: the symphysion is a kind of a Culicidae. sent3: if that the colliery does not prioritize equatorial and is not noncaloric does not hold the serologist is noncaloric. sent4: if the symphysion is noncaloric then the serologist is a kind of a internalization. sent5: the psychophysicist is a snuffle. sent6: if something is a Culicidae it is noncaloric.
sent6 -> int1: if the symphysion is a Culicidae then the fact that it is noncaloric is true.; int1 & sent2 -> int2: the symphysion is noncaloric.; int2 & sent4 -> hypothesis;
the ion is a Culicidae.
$hypothesis$ = the serologist is not a kind of a internalization. ; $context$ = sent1: that the colliery does not prioritize equatorial and is not noncaloric is not true if it is not a WSW. sent2: the symphysion is a kind of a Culicidae. sent3: if that the colliery does not prioritize equatorial and is not noncaloric does not hold the serologist is noncaloric. sent4: if the symphysion is noncaloric then the serologist is a kind of a internalization. sent5: the psychophysicist is a snuffle. sent6: if something is a Culicidae it is noncaloric. ; $proof$ = 
sent6 -> int1: if the symphysion is a Culicidae then the fact that it is noncaloric is true.; int1 & sent2 -> int2: the symphysion is noncaloric.; int2 & sent4 -> hypothesis; __DISPROVED__