the carter is a kind of a canyonside if the handcuff is a locule.
sent1: something is not a canyonside if it is not a kind of a ectrodactyly. sent2: if something is a kind of a brigandine it is a kind of an intimidation that does not fold redcap. sent3: something does not platinize shedding if it pulsates. sent4: something is not a kind of a doorlock if it does not vouch. sent5: if the handcuff is not a ectrodactyly then it is not a locule. sent6: the backbencher does not pulsate. sent7: the carter does not pulsate. sent8: the carter is a canyonside if the hydra is a ectrodactyly and does platinize shedding. sent9: if the hydra is a ectrodactyly that does not platinize shedding the carter is a canyonside. sent10: the hydra does pulsate if it is a canyonside. sent11: the headmistress is not an unwillingness. sent12: if the handcuff does not platinize shedding then it is not dramaturgic. sent13: the fact that the carter is a Edwardian hold. sent14: the hydra does not platinize shedding. sent15: if the hydra does pulsate then the fact that it does not platinize shedding is not wrong. sent16: if the fact that something is not a kind of an unwillingness is right then it is not dramaturgic. sent17: if something is autogenous then it is a sadhu and it does not platinize headmistress. sent18: the handcuff is not a locule if it does not platinize shedding. sent19: that something is a ectrodactyly and does not platinize shedding if it pulsates is correct. sent20: the carter does platinize shedding. sent21: something is a locule if it is a kind of an unwillingness. sent22: the hydra does pulsate if the handcuff is not dramaturgic. sent23: the hydra is a locule.
void -> assump2: Let's assume that the handcuff is a kind of an unwillingness.; void -> assump1: Let's assume that the handcuff is a kind of a locule.; sent16 -> int1: the handcuff is not dramaturgic if it is not an unwillingness.; sent19 -> int2: if the hydra does pulsate it is a ectrodactyly and it does not platinize shedding.;
$hypothesis$ = the carter is a kind of a canyonside if the handcuff is a locule. ; $context$ = sent1: something is not a canyonside if it is not a kind of a ectrodactyly. sent2: if something is a kind of a brigandine it is a kind of an intimidation that does not fold redcap. sent3: something does not platinize shedding if it pulsates. sent4: something is not a kind of a doorlock if it does not vouch. sent5: if the handcuff is not a ectrodactyly then it is not a locule. sent6: the backbencher does not pulsate. sent7: the carter does not pulsate. sent8: the carter is a canyonside if the hydra is a ectrodactyly and does platinize shedding. sent9: if the hydra is a ectrodactyly that does not platinize shedding the carter is a canyonside. sent10: the hydra does pulsate if it is a canyonside. sent11: the headmistress is not an unwillingness. sent12: if the handcuff does not platinize shedding then it is not dramaturgic. sent13: the fact that the carter is a Edwardian hold. sent14: the hydra does not platinize shedding. sent15: if the hydra does pulsate then the fact that it does not platinize shedding is not wrong. sent16: if the fact that something is not a kind of an unwillingness is right then it is not dramaturgic. sent17: if something is autogenous then it is a sadhu and it does not platinize headmistress. sent18: the handcuff is not a locule if it does not platinize shedding. sent19: that something is a ectrodactyly and does not platinize shedding if it pulsates is correct. sent20: the carter does platinize shedding. sent21: something is a locule if it is a kind of an unwillingness. sent22: the hydra does pulsate if the handcuff is not dramaturgic. sent23: the hydra is a locule. ; $proof$ = 
void -> assump2: Let's assume that the handcuff is a kind of an unwillingness.; void -> assump1: Let's assume that the handcuff is a kind of a locule.; sent16 -> int1: the handcuff is not dramaturgic if it is not an unwillingness.; sent19 -> int2: if the hydra does pulsate it is a ectrodactyly and it does not platinize shedding.; __UNKNOWN__