if the bonobo is a seckel the fact that the dixie is a kind of an extraterrestrial and does not arrogate barbican is not right.
sent1: the dixie recalls and does not arrogate barbican if the CD is a kind of an extraterrestrial. sent2: something is a seckel if it is not a ramie. sent3: that something is a kind of non-joyous thing that does not process fucus does not hold if it is a seckel. sent4: something processes Oriolus if it does not process fucus. sent5: if the bonobo does not process fucus that the dixie processes Oriolus and is a recall is not true. sent6: if the CD does process Oriolus and/or recalls then the bonobo is not a seckel. sent7: if the fact that something processes Oriolus and it does recall is wrong then it does not processes Oriolus. sent8: the bonobo does not process fucus if the fact that the catamite is not joyous and it does not process fucus is wrong. sent9: the dixie does not arrogate barbican. sent10: the bonobo is a seckel if either the CD processes Oriolus or it does recall or both. sent11: the CD does not process fucus if the dixie is an extraterrestrial and does not arrogate barbican. sent12: the catamite processes cyst and/or it does not google.
void -> assump1: Let's assume that the dixie is an extraterrestrial and does not arrogate barbican.; sent11 & assump1 -> int1: the CD does not process fucus.; sent4 -> int2: if the CD does not process fucus that it does process Oriolus is not incorrect.; int1 & int2 -> int3: the CD processes Oriolus.; int3 -> int4: the CD does process Oriolus and/or it is a recall.; int4 & sent6 -> int5: the bonobo is not a kind of a seckel.; void -> assump2: Let's assume that the bonobo is a kind of a seckel.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the dixie is a kind of an extraterrestrial but it does not arrogate barbican is false.; [assump2] & int7 -> hypothesis;
the CD arrogates barbican.
sent7 -> int8: the dixie does not process Oriolus if the fact that it process Oriolus and is a recall does not hold.; sent3 -> int9: if the fact that the catamite is a kind of a seckel is not false then the fact that it is not joyous and does not process fucus is not correct.; sent2 -> int10: if the catamite is not a ramie it is a kind of a seckel.;
$hypothesis$ = if the bonobo is a seckel the fact that the dixie is a kind of an extraterrestrial and does not arrogate barbican is not right. ; $context$ = sent1: the dixie recalls and does not arrogate barbican if the CD is a kind of an extraterrestrial. sent2: something is a seckel if it is not a ramie. sent3: that something is a kind of non-joyous thing that does not process fucus does not hold if it is a seckel. sent4: something processes Oriolus if it does not process fucus. sent5: if the bonobo does not process fucus that the dixie processes Oriolus and is a recall is not true. sent6: if the CD does process Oriolus and/or recalls then the bonobo is not a seckel. sent7: if the fact that something processes Oriolus and it does recall is wrong then it does not processes Oriolus. sent8: the bonobo does not process fucus if the fact that the catamite is not joyous and it does not process fucus is wrong. sent9: the dixie does not arrogate barbican. sent10: the bonobo is a seckel if either the CD processes Oriolus or it does recall or both. sent11: the CD does not process fucus if the dixie is an extraterrestrial and does not arrogate barbican. sent12: the catamite processes cyst and/or it does not google. ; $proof$ = 
void -> assump1: Let's assume that the dixie is an extraterrestrial and does not arrogate barbican.; sent11 & assump1 -> int1: the CD does not process fucus.; sent4 -> int2: if the CD does not process fucus that it does process Oriolus is not incorrect.; int1 & int2 -> int3: the CD processes Oriolus.; int3 -> int4: the CD does process Oriolus and/or it is a recall.; int4 & sent6 -> int5: the bonobo is not a kind of a seckel.; void -> assump2: Let's assume that the bonobo is a kind of a seckel.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the dixie is a kind of an extraterrestrial but it does not arrogate barbican is false.; [assump2] & int7 -> hypothesis; __PROVED__