the butacaine is either a void or not a secondo or both.
sent1: the butacaine is a kind of a void if the mattock is a kind of a pen. sent2: the chincherinchee does not prop if there exists something such that it spirals cruet-stand and it does bed. sent3: if there exists something such that that it does not spiral cruet-stand and does bed is not correct the mattock is a kind of a pen. sent4: the chincherinchee props and it is rotational. sent5: there exists something such that it is a pen. sent6: the fact that the butacaine spirals cruet-stand hold if the originator voids. sent7: the originator does not spiral cruet-stand and is a prop. sent8: the mattock is rotational.
void -> assump1: Let's assume that the originator does not spiral cruet-stand but it beds.; assump1 -> int1: something does not spiral cruet-stand but it is a bed.; sent4 -> int2: the chincherinchee is a prop.;
$hypothesis$ = the butacaine is either a void or not a secondo or both. ; $context$ = sent1: the butacaine is a kind of a void if the mattock is a kind of a pen. sent2: the chincherinchee does not prop if there exists something such that it spirals cruet-stand and it does bed. sent3: if there exists something such that that it does not spiral cruet-stand and does bed is not correct the mattock is a kind of a pen. sent4: the chincherinchee props and it is rotational. sent5: there exists something such that it is a pen. sent6: the fact that the butacaine spirals cruet-stand hold if the originator voids. sent7: the originator does not spiral cruet-stand and is a prop. sent8: the mattock is rotational. ; $proof$ = 
void -> assump1: Let's assume that the originator does not spiral cruet-stand but it beds.; assump1 -> int1: something does not spiral cruet-stand but it is a bed.; sent4 -> int2: the chincherinchee is a prop.; __UNKNOWN__