the steroid is detachable and it is a kind of a pentode.
sent1: the steroid is a pentode. sent2: everything is not a bitters. sent3: that the steroid is non-expiatory is true. sent4: the steroid is detachable if the fact that it is not expiatory and it is a seeking is false. sent5: the fact that something is a kind of a bitters that is not a pectoral does not hold if it does not forage pluralism. sent6: the reagent requisitions if the steroid is both a bitters and not a requisitions.
void -> assump1: Let's assume that that the steroid is not expiatory but it seeks is right.; sent2 -> int1: the steroid is not a bitters.;
the reagent is a requisition.
$hypothesis$ = the steroid is detachable and it is a kind of a pentode. ; $context$ = sent1: the steroid is a pentode. sent2: everything is not a bitters. sent3: that the steroid is non-expiatory is true. sent4: the steroid is detachable if the fact that it is not expiatory and it is a seeking is false. sent5: the fact that something is a kind of a bitters that is not a pectoral does not hold if it does not forage pluralism. sent6: the reagent requisitions if the steroid is both a bitters and not a requisitions. ; $proof$ = 
void -> assump1: Let's assume that that the steroid is not expiatory but it seeks is right.; sent2 -> int1: the steroid is not a bitters.; __UNKNOWN__