the fact that the spinner is a dosed but not a velar is wrong.
sent1: the baroness rejoices if it is peritoneal. sent2: if the fact that something doses but it is not a kind of a velar does not hold it is not an embroiderer. sent3: the baroness is peritoneal. sent4: that something is a kind of a dosed that is non-velar does not hold if it does rejoice. sent5: that the baroness does not rejoice hold if the fact that the spinner is not a kind of an embroiderer is true. sent6: the spinner is non-velar. sent7: if that something is a kind of a dosed that is not peritoneal is not true then it is not a velar. sent8: the fact that the baroness is peritoneal and it does dose is not true.
sent2 -> int1: if the fact that the spinner doses but it is not velar is false it is not a kind of an embroiderer.; void -> assump1: Let's assume that that the spinner doses but it is not a velar does not hold.; int1 & assump1 -> int2: the spinner is not a kind of an embroiderer.; int2 & sent5 -> int3: the baroness does not rejoice.; sent1 & sent3 -> int4: the baroness does rejoice.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the fact that the spinner does dose but it is not velar does not hold.
sent4 -> int6: the fact that the spinner is a dosed but it is not a velar does not hold if it rejoices.;
$hypothesis$ = the fact that the spinner is a dosed but not a velar is wrong. ; $context$ = sent1: the baroness rejoices if it is peritoneal. sent2: if the fact that something doses but it is not a kind of a velar does not hold it is not an embroiderer. sent3: the baroness is peritoneal. sent4: that something is a kind of a dosed that is non-velar does not hold if it does rejoice. sent5: that the baroness does not rejoice hold if the fact that the spinner is not a kind of an embroiderer is true. sent6: the spinner is non-velar. sent7: if that something is a kind of a dosed that is not peritoneal is not true then it is not a velar. sent8: the fact that the baroness is peritoneal and it does dose is not true. ; $proof$ = 
sent2 -> int1: if the fact that the spinner doses but it is not velar is false it is not a kind of an embroiderer.; void -> assump1: Let's assume that that the spinner doses but it is not a velar does not hold.; int1 & assump1 -> int2: the spinner is not a kind of an embroiderer.; int2 & sent5 -> int3: the baroness does not rejoice.; sent1 & sent3 -> int4: the baroness does rejoice.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__