if the amaranth is not a juvenile then that the screener is not a kind of a Amianthum and is micropylar is incorrect.
sent1: the cisco is a kind of a juvenile if the scrag is a juvenile. sent2: that something is not inoperative and is a striped is not correct if it is not Parisian. sent3: something is a kind of micropylar thing that is a kind of a juvenile if that it is not a kind of a Amianthum hold. sent4: something is not a Amianthum if the fact that it is not inoperative and does stripe does not hold. sent5: the fact that the screener is not a Amianthum but it is micropylar does not hold if the scrag is not micropylar.
void -> assump2: Let's assume that the scrag is micropylar.;
the cisco is a juvenile.
sent3 -> int1: if the scrag is not a Amianthum it is micropylar and it is a kind of a juvenile.; sent4 -> int2: if the fact that the scrag is not inoperative and is a striped is incorrect it is not a kind of a Amianthum.; sent2 -> int3: that the scrag is not inoperative and is a striped is not right if it is not a kind of a Parisian.;
$hypothesis$ = if the amaranth is not a juvenile then that the screener is not a kind of a Amianthum and is micropylar is incorrect. ; $context$ = sent1: the cisco is a kind of a juvenile if the scrag is a juvenile. sent2: that something is not inoperative and is a striped is not correct if it is not Parisian. sent3: something is a kind of micropylar thing that is a kind of a juvenile if that it is not a kind of a Amianthum hold. sent4: something is not a Amianthum if the fact that it is not inoperative and does stripe does not hold. sent5: the fact that the screener is not a Amianthum but it is micropylar does not hold if the scrag is not micropylar. ; $proof$ = 
void -> assump2: Let's assume that the scrag is micropylar.; __UNKNOWN__