the barmbrack is not sensible.
sent1: if something disowns diagonal the fact that it is an excelsior and it is a Phocoena is not true. sent2: something is not an excelsior if it is dangerous. sent3: something is not an excelsior but it is a Phocoena if the fact that it is dangerous is not false. sent4: the fact that something is not an excelsior but it is a Phocoena is not true if it does disown diagonal. sent5: if there is something such that that it is a kind of non-peaty thing that deems is not right the barmbrack is not sensible. sent6: the lutetium is not peaty. sent7: the lutetium is Samoan. sent8: that the lutetium is a kind of an excelsior and it is a Phocoena does not hold if it does disown diagonal. sent9: if there is something such that it is peaty the barmbrack is not sensible. sent10: the almsgiver does not disown diagonal if it is a kind of Samoan a knock. sent11: the lutetium is dangerous if that it is not peaty and it deems is true. sent12: the Ishmael is a denaturant. sent13: if the fact that the almsgiver is nonarbitrable but it is not Samoan is false it is a kind of a Samoan. sent14: there is something such that it is a kind of non-peaty thing that does deem. sent15: there is something such that that it is peaty and it deems does not hold. sent16: the lutetium is Samoan and disowns diagonal. sent17: if the Ishmael is a kind of a denaturant that the almsgiver is nonarbitrable but it is not a Samoan is not correct. sent18: the fact that the lutetium is peaty and it deems is false. sent19: the fact that the lutetium is a kind of an excelsior and is a Phocoena does not hold. sent20: the lutetium is dangerous if it is a kind of peaty thing that does deem. sent21: if the lutetium is dangerous it is not an excelsior. sent22: that the lutetium is not an excelsior hold. sent23: if something is not a kind of an excelsior and/or it is dangerous then it is sensible.
void -> assump1: Let's assume that the lutetium is not peaty but it does deem.; sent11 & assump1 -> int1: the lutetium is dangerous.; sent3 -> int2: the lutetium is not an excelsior but it is a Phocoena if it is not non-dangerous.; int1 & int2 -> int3: the lutetium is not an excelsior and is a kind of a Phocoena.; sent4 -> int4: if the lutetium does disown diagonal then that it is not an excelsior and is a Phocoena is not correct.; sent16 -> int5: the lutetium disowns diagonal.; int4 & int5 -> int6: the fact that the lutetium is not an excelsior and is a kind of a Phocoena is false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the lutetium is non-peaty and does deem does not hold.; int8 -> int9: there exists something such that that it is not peaty and it does deem does not hold.; int9 & sent5 -> hypothesis;
the barmbrack is sensible.
sent23 -> int10: the barmbrack is sensible if it is not an excelsior and/or it is dangerous.; sent17 & sent12 -> int11: the fact that the almsgiver is nonarbitrable but it is not a Samoan is incorrect.; sent13 & int11 -> int12: the almsgiver is a Samoan.;
$hypothesis$ = the barmbrack is not sensible. ; $context$ = sent1: if something disowns diagonal the fact that it is an excelsior and it is a Phocoena is not true. sent2: something is not an excelsior if it is dangerous. sent3: something is not an excelsior but it is a Phocoena if the fact that it is dangerous is not false. sent4: the fact that something is not an excelsior but it is a Phocoena is not true if it does disown diagonal. sent5: if there is something such that that it is a kind of non-peaty thing that deems is not right the barmbrack is not sensible. sent6: the lutetium is not peaty. sent7: the lutetium is Samoan. sent8: that the lutetium is a kind of an excelsior and it is a Phocoena does not hold if it does disown diagonal. sent9: if there is something such that it is peaty the barmbrack is not sensible. sent10: the almsgiver does not disown diagonal if it is a kind of Samoan a knock. sent11: the lutetium is dangerous if that it is not peaty and it deems is true. sent12: the Ishmael is a denaturant. sent13: if the fact that the almsgiver is nonarbitrable but it is not Samoan is false it is a kind of a Samoan. sent14: there is something such that it is a kind of non-peaty thing that does deem. sent15: there is something such that that it is peaty and it deems does not hold. sent16: the lutetium is Samoan and disowns diagonal. sent17: if the Ishmael is a kind of a denaturant that the almsgiver is nonarbitrable but it is not a Samoan is not correct. sent18: the fact that the lutetium is peaty and it deems is false. sent19: the fact that the lutetium is a kind of an excelsior and is a Phocoena does not hold. sent20: the lutetium is dangerous if it is a kind of peaty thing that does deem. sent21: if the lutetium is dangerous it is not an excelsior. sent22: that the lutetium is not an excelsior hold. sent23: if something is not a kind of an excelsior and/or it is dangerous then it is sensible. ; $proof$ = 
void -> assump1: Let's assume that the lutetium is not peaty but it does deem.; sent11 & assump1 -> int1: the lutetium is dangerous.; sent3 -> int2: the lutetium is not an excelsior but it is a Phocoena if it is not non-dangerous.; int1 & int2 -> int3: the lutetium is not an excelsior and is a kind of a Phocoena.; sent4 -> int4: if the lutetium does disown diagonal then that it is not an excelsior and is a Phocoena is not correct.; sent16 -> int5: the lutetium disowns diagonal.; int4 & int5 -> int6: the fact that the lutetium is not an excelsior and is a kind of a Phocoena is false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the lutetium is non-peaty and does deem does not hold.; int8 -> int9: there exists something such that that it is not peaty and it does deem does not hold.; int9 & sent5 -> hypothesis; __PROVED__