if the embroidery is a iodochlorhydroxyquin then the grenadine is a autotype.
sent1: if the embroidery is a autotype then the cottonwood is a kind of a autotype. sent2: something is a autotype if that it is a iodochlorhydroxyquin and it is not a streptokinase is wrong. sent3: the grenadine is a autotype if the embroidery is a streptokinase. sent4: the pyxie is a iodochlorhydroxyquin.
the cottonwood is a kind of a autotype.
sent2 -> int1: the embroidery is a autotype if that it is a iodochlorhydroxyquin and it is not a streptokinase is not true.;
$hypothesis$ = if the embroidery is a iodochlorhydroxyquin then the grenadine is a autotype. ; $context$ = sent1: if the embroidery is a autotype then the cottonwood is a kind of a autotype. sent2: something is a autotype if that it is a iodochlorhydroxyquin and it is not a streptokinase is wrong. sent3: the grenadine is a autotype if the embroidery is a streptokinase. sent4: the pyxie is a iodochlorhydroxyquin. ; $proof$ = 
__UNKNOWN__