the succulent does not froth.
sent1: something does froth if it is a octopod. sent2: the fact that the bourn does not frolic Constantine but it elbows doubler is false. sent3: the succulent does not froth if the bourn is a halfback. sent4: if the knife-handle does illuminate and it is a Tara it is not a kind of a entr'acte. sent5: the bourn is unfree if that it does not frolic Constantine and it elbows doubler is wrong. sent6: if the bourn does not froth then the fact that the camelhair is a halfback and is not a kind of a octopod is not correct. sent7: the succulent does not froth if the bourn is a halfback and/or it is a octopod. sent8: the bourn is unfree if it frolics Constantine. sent9: something is a kind of a octopod if it is unfree. sent10: the manganate does frolic Constantine if it is a polytheism. sent11: the knife-handle illuminates and it is a Tara. sent12: if the bourn is a halfback then the succulent is not a halfback. sent13: the fact that the bourn frolics Constantine and does elbow doubler is wrong. sent14: the doubler is a kind of a entr'acte. sent15: the fact that something froths and does not aspire does not hold if it is a Sadducee. sent16: if something does froth it is a octopod. sent17: the succulent is not unfree if the bourn is a kind of a halfback and/or does froth. sent18: something that does frolic Constantine does elbow doubler. sent19: if the doubler is a entr'acte then the fact that the fact that the knife-handle does not aspire but it is a Sadducee is not wrong is wrong. sent20: the bourn is despotic.
sent5 & sent2 -> int1: the bourn is unfree.; sent9 -> int2: the bourn is a kind of a octopod if it is unfree.; int1 & int2 -> int3: the bourn is a octopod.; int3 -> int4: the bourn is a halfback and/or it is a octopod.; int4 & sent7 -> hypothesis;
the camelhair is not unfree.
sent15 -> int5: the fact that the succulent does froth and does not aspire is wrong if it is a kind of a Sadducee.; sent4 & sent11 -> int6: the knife-handle is not a entr'acte.; int6 -> int7: there is something such that it is not a entr'acte.;
$hypothesis$ = the succulent does not froth. ; $context$ = sent1: something does froth if it is a octopod. sent2: the fact that the bourn does not frolic Constantine but it elbows doubler is false. sent3: the succulent does not froth if the bourn is a halfback. sent4: if the knife-handle does illuminate and it is a Tara it is not a kind of a entr'acte. sent5: the bourn is unfree if that it does not frolic Constantine and it elbows doubler is wrong. sent6: if the bourn does not froth then the fact that the camelhair is a halfback and is not a kind of a octopod is not correct. sent7: the succulent does not froth if the bourn is a halfback and/or it is a octopod. sent8: the bourn is unfree if it frolics Constantine. sent9: something is a kind of a octopod if it is unfree. sent10: the manganate does frolic Constantine if it is a polytheism. sent11: the knife-handle illuminates and it is a Tara. sent12: if the bourn is a halfback then the succulent is not a halfback. sent13: the fact that the bourn frolics Constantine and does elbow doubler is wrong. sent14: the doubler is a kind of a entr'acte. sent15: the fact that something froths and does not aspire does not hold if it is a Sadducee. sent16: if something does froth it is a octopod. sent17: the succulent is not unfree if the bourn is a kind of a halfback and/or does froth. sent18: something that does frolic Constantine does elbow doubler. sent19: if the doubler is a entr'acte then the fact that the fact that the knife-handle does not aspire but it is a Sadducee is not wrong is wrong. sent20: the bourn is despotic. ; $proof$ = 
sent5 & sent2 -> int1: the bourn is unfree.; sent9 -> int2: the bourn is a kind of a octopod if it is unfree.; int1 & int2 -> int3: the bourn is a octopod.; int3 -> int4: the bourn is a halfback and/or it is a octopod.; int4 & sent7 -> hypothesis; __PROVED__