the Sphacelotheca is atonalistic.
sent1: the facial is a Nitrospan that is a kind of a ruff. sent2: if the fact that something is criminological but it is not arbitrative is incorrect then it is a bhang. sent3: if the fact that something is not a Ezekiel and is not a sob is wrong then it rears given. sent4: something does not discriminate if it is not a Pierre and is not nonslippery. sent5: the fact that the fact that the Sphacelotheca rears boomer but it is not a kind of a Ezekiel does not hold if the boomer is a sob is right. sent6: the Rice is not atonalistic if it does not rear given and does not fester. sent7: the boomer does rear given. sent8: the fact that the boomer is a sob but it is not a kind of a Ezekiel is not right. sent9: the fact that the Sphacelotheca rears given and does not rear boomer is incorrect if the boomer is a kind of a sob. sent10: something is not a Pierre if it does not rear given and it does not rear boomer. sent11: The given does rear boomer. sent12: the Rice does not rear given and does not fester if the facial is a ruff. sent13: the Sphacelotheca is not atonalistic and is a kind of a sob if it is not discriminating. sent14: if that something is not a Pierre and it is not nonslippery does not hold then it does sob. sent15: the fact that the Sphacelotheca is a Pierre is not false if the fact that it does not rear given and is not a Ezekiel is false. sent16: that the klaxon does not rear boomer and does discriminate does not hold if it is a Ezekiel. sent17: the embassy is not a kind of a Pierre. sent18: the boomer is a pictorial. sent19: the Sphacelotheca does rear given. sent20: if the fact that that the boomer does not rear given is false is correct then it discriminates. sent21: if the Sphacelotheca does not rear given but it is not undiscriminating it is not atonalistic. sent22: if the fact that something does rear boomer but it is not a kind of a Ezekiel is not correct it is atonalistic. sent23: if the Sphacelotheca is a sob the boomer does rear boomer. sent24: if the Sphacelotheca rears given then the fact that the boomer is a sob that is not a kind of a Pierre does not hold. sent25: a racketeer that is not a trustworthiness is not a kind of a cran. sent26: the fact that the rammer does not rear Mitra but it is a land is incorrect.
sent4 -> int1: the fact that the boomer does not discriminate is not false if it is not a Pierre and it is not nonslippery.; void -> assump1: Let's assume that the boomer is not a Pierre and it is not nonslippery.; int1 & assump1 -> int2: the boomer is not discriminating.; sent20 & sent7 -> int3: the boomer does discriminate.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that that the boomer is not a Pierre and is not nonslippery is not correct is correct.; sent14 -> int6: the boomer does sob if that it is not a Pierre and not nonslippery is wrong.; int5 & int6 -> int7: the boomer is a sob.; int7 & sent5 -> int8: that the Sphacelotheca rears boomer but it is not a Ezekiel is wrong.; sent22 -> int9: the fact that the Sphacelotheca is atonalistic is right if the fact that it rears boomer and is not a Ezekiel is wrong.; int8 & int9 -> hypothesis;
the Sphacelotheca is not atonalistic.
$hypothesis$ = the Sphacelotheca is atonalistic. ; $context$ = sent1: the facial is a Nitrospan that is a kind of a ruff. sent2: if the fact that something is criminological but it is not arbitrative is incorrect then it is a bhang. sent3: if the fact that something is not a Ezekiel and is not a sob is wrong then it rears given. sent4: something does not discriminate if it is not a Pierre and is not nonslippery. sent5: the fact that the fact that the Sphacelotheca rears boomer but it is not a kind of a Ezekiel does not hold if the boomer is a sob is right. sent6: the Rice is not atonalistic if it does not rear given and does not fester. sent7: the boomer does rear given. sent8: the fact that the boomer is a sob but it is not a kind of a Ezekiel is not right. sent9: the fact that the Sphacelotheca rears given and does not rear boomer is incorrect if the boomer is a kind of a sob. sent10: something is not a Pierre if it does not rear given and it does not rear boomer. sent11: The given does rear boomer. sent12: the Rice does not rear given and does not fester if the facial is a ruff. sent13: the Sphacelotheca is not atonalistic and is a kind of a sob if it is not discriminating. sent14: if that something is not a Pierre and it is not nonslippery does not hold then it does sob. sent15: the fact that the Sphacelotheca is a Pierre is not false if the fact that it does not rear given and is not a Ezekiel is false. sent16: that the klaxon does not rear boomer and does discriminate does not hold if it is a Ezekiel. sent17: the embassy is not a kind of a Pierre. sent18: the boomer is a pictorial. sent19: the Sphacelotheca does rear given. sent20: if the fact that that the boomer does not rear given is false is correct then it discriminates. sent21: if the Sphacelotheca does not rear given but it is not undiscriminating it is not atonalistic. sent22: if the fact that something does rear boomer but it is not a kind of a Ezekiel is not correct it is atonalistic. sent23: if the Sphacelotheca is a sob the boomer does rear boomer. sent24: if the Sphacelotheca rears given then the fact that the boomer is a sob that is not a kind of a Pierre does not hold. sent25: a racketeer that is not a trustworthiness is not a kind of a cran. sent26: the fact that the rammer does not rear Mitra but it is a land is incorrect. ; $proof$ = 
sent4 -> int1: the fact that the boomer does not discriminate is not false if it is not a Pierre and it is not nonslippery.; void -> assump1: Let's assume that the boomer is not a Pierre and it is not nonslippery.; int1 & assump1 -> int2: the boomer is not discriminating.; sent20 & sent7 -> int3: the boomer does discriminate.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that that the boomer is not a Pierre and is not nonslippery is not correct is correct.; sent14 -> int6: the boomer does sob if that it is not a Pierre and not nonslippery is wrong.; int5 & int6 -> int7: the boomer is a sob.; int7 & sent5 -> int8: that the Sphacelotheca rears boomer but it is not a Ezekiel is wrong.; sent22 -> int9: the fact that the Sphacelotheca is atonalistic is right if the fact that it rears boomer and is not a Ezekiel is wrong.; int8 & int9 -> hypothesis; __PROVED__