if the creamer is a kind of an outrageousness and it does weed articulator then the blackheart is not Cyrillic.
sent1: the blackheart is gymnosophical. sent2: the creamer is gymnosophical. sent3: if the creamer is a Cyrillic or it is gymnosophical or both then the blackheart is not an outrageousness. sent4: the deist is gymnosophical and/or an outrageousness. sent5: if the creamer weeds articulator that the deist is a ascus is right. sent6: the creamer is an outrageousness. sent7: the allotropy is a ascus. sent8: the blackheart does froth if the creamer does not froth and is an outrageousness. sent9: the blackheart is gymnosophical and a Cyrillic. sent10: the wordbook does weed articulator or it is an antibody or both. sent11: if the creamer is gymnosophical and is a ascus then the deist is an outrageousness. sent12: the creamer is a kind of a ascus. sent13: that the blackheart is a Cyrillic is not false. sent14: that the creamer is not non-tribal is true. sent15: the deist is a kind of a ascus and/or it is an outrageousness. sent16: the creamer is not gymnosophical if the deist weeds articulator. sent17: that the blackheart is non-Cyrillic hold if the deist is gymnosophical.
void -> assump1: Let's assume that the creamer is a kind of an outrageousness that weeds articulator.; assump1 -> int1: the creamer weeds articulator.; sent5 & int1 -> int2: the deist is a kind of a ascus.; int2 -> int3: the deist is a ascus or it is gymnosophical or both.;
the fact that the blackheart does froth and is calculous is right.
$hypothesis$ = if the creamer is a kind of an outrageousness and it does weed articulator then the blackheart is not Cyrillic. ; $context$ = sent1: the blackheart is gymnosophical. sent2: the creamer is gymnosophical. sent3: if the creamer is a Cyrillic or it is gymnosophical or both then the blackheart is not an outrageousness. sent4: the deist is gymnosophical and/or an outrageousness. sent5: if the creamer weeds articulator that the deist is a ascus is right. sent6: the creamer is an outrageousness. sent7: the allotropy is a ascus. sent8: the blackheart does froth if the creamer does not froth and is an outrageousness. sent9: the blackheart is gymnosophical and a Cyrillic. sent10: the wordbook does weed articulator or it is an antibody or both. sent11: if the creamer is gymnosophical and is a ascus then the deist is an outrageousness. sent12: the creamer is a kind of a ascus. sent13: that the blackheart is a Cyrillic is not false. sent14: that the creamer is not non-tribal is true. sent15: the deist is a kind of a ascus and/or it is an outrageousness. sent16: the creamer is not gymnosophical if the deist weeds articulator. sent17: that the blackheart is non-Cyrillic hold if the deist is gymnosophical. ; $proof$ = 
void -> assump1: Let's assume that the creamer is a kind of an outrageousness that weeds articulator.; assump1 -> int1: the creamer weeds articulator.; sent5 & int1 -> int2: the deist is a kind of a ascus.; int2 -> int3: the deist is a ascus or it is gymnosophical or both.; __UNKNOWN__