if the brocket is unicellular then the fact that the defaulter weeds chambered is right.
sent1: if the fact that the brocket is not edible but it does weed chambered does not hold the defaulter is not unicellular. sent2: that the defaulter is not a caput and is edible does not hold if it does weed chambered. sent3: the defaulter is a Clinton. sent4: if the defaulter is unicellular then the brocket is edible. sent5: that the brocket is not unicellular is true if the defaulter is not edible. sent6: if the fact that the brocket is not edible and is not non-unicellular is not true then the defaulter does not weed chambered. sent7: the fact that the defaulter is not a branchiopod and is salamandriform is incorrect. sent8: if something does weed chambered then that it is both not a caput and edible is not correct. sent9: the brocket is non-unicellular if the fact that the defaulter is not a kind of a caput and is edible is wrong. sent10: the fact that the defaulter is both not edible and unicellular does not hold. sent11: if something is not a Dipus then the fact that it does not fudge Katsuwonidae and chafes does not hold.
void -> assump2: Let's assume that the brocket is unicellular.;
that the pyinma does not fudge Katsuwonidae and chafes does not hold if it is not a Dipus.
sent11 -> hypothesis;
$hypothesis$ = if the brocket is unicellular then the fact that the defaulter weeds chambered is right. ; $context$ = sent1: if the fact that the brocket is not edible but it does weed chambered does not hold the defaulter is not unicellular. sent2: that the defaulter is not a caput and is edible does not hold if it does weed chambered. sent3: the defaulter is a Clinton. sent4: if the defaulter is unicellular then the brocket is edible. sent5: that the brocket is not unicellular is true if the defaulter is not edible. sent6: if the fact that the brocket is not edible and is not non-unicellular is not true then the defaulter does not weed chambered. sent7: the fact that the defaulter is not a branchiopod and is salamandriform is incorrect. sent8: if something does weed chambered then that it is both not a caput and edible is not correct. sent9: the brocket is non-unicellular if the fact that the defaulter is not a kind of a caput and is edible is wrong. sent10: the fact that the defaulter is both not edible and unicellular does not hold. sent11: if something is not a Dipus then the fact that it does not fudge Katsuwonidae and chafes does not hold. ; $proof$ = 
void -> assump2: Let's assume that the brocket is unicellular.; __UNKNOWN__