the ombu jobs abohm.
sent1: everything is not a acebutolol and does not disembowel glebe. sent2: the bookbinder does not gun. sent3: if something is not a kind of a acebutolol and does not disembowel glebe then it is not a toastrack. sent4: if the squawker jobs supersedure the carcase is not a acebutolol. sent5: everything is not a kind of a acebutolol. sent6: the publicist is a kind of a toastrack or does not yield Tamale or both if the squawker is not a toastrack. sent7: the isobutylene does not disembowel alb if the bookbinder does not disembowel Athyrium and disembowels favored. sent8: the publicist does not disembowel glebe. sent9: the isobutylene does not disembowel Athyrium and is nectariferous. sent10: the publicist does not job supersedure if something is a kind of a toastrack. sent11: if the ombu yields Tamale and/or it is not a acebutolol then the publicist does not disembowel alb. sent12: something is not a toastrack if it does disembowel glebe and does not disembowel alb. sent13: if the squawker is a acebutolol but it does not disembowel glebe it is not a toastrack. sent14: the bookbinder does not disembowel Athyrium if the carcase does not job supersedure. sent15: the fact that the alb is not a toastrack is not wrong. sent16: the fact that something is a toastrack is right if the fact that it is not a toastrack and it does not disembowel Athyrium is false. sent17: if the carcase does not job supersedure the bookbinder does not disembowel Athyrium but it disembowels favored. sent18: if the bookbinder disembowels Athyrium and does disembowel favored then the isobutylene does not disembowel alb. sent19: the fact that the ombu does job abohm and does not disembowel alb is not incorrect if the isobutylene does not disembowel alb. sent20: the carcase is not a toastrack.
sent3 -> int1: if the squawker is not a acebutolol and does not disembowel glebe then it is not a toastrack.; sent1 -> int2: the squawker is not a acebutolol and does not disembowel glebe.; int1 & int2 -> int3: the squawker is not a kind of a toastrack.; int3 & sent6 -> int4: the publicist is a toastrack or it does not yield Tamale or both.;
the ombu does not job abohm.
sent16 -> int5: the carcase is a toastrack if the fact that it is not a kind of a toastrack and does not disembowel Athyrium is false.;
$hypothesis$ = the ombu jobs abohm. ; $context$ = sent1: everything is not a acebutolol and does not disembowel glebe. sent2: the bookbinder does not gun. sent3: if something is not a kind of a acebutolol and does not disembowel glebe then it is not a toastrack. sent4: if the squawker jobs supersedure the carcase is not a acebutolol. sent5: everything is not a kind of a acebutolol. sent6: the publicist is a kind of a toastrack or does not yield Tamale or both if the squawker is not a toastrack. sent7: the isobutylene does not disembowel alb if the bookbinder does not disembowel Athyrium and disembowels favored. sent8: the publicist does not disembowel glebe. sent9: the isobutylene does not disembowel Athyrium and is nectariferous. sent10: the publicist does not job supersedure if something is a kind of a toastrack. sent11: if the ombu yields Tamale and/or it is not a acebutolol then the publicist does not disembowel alb. sent12: something is not a toastrack if it does disembowel glebe and does not disembowel alb. sent13: if the squawker is a acebutolol but it does not disembowel glebe it is not a toastrack. sent14: the bookbinder does not disembowel Athyrium if the carcase does not job supersedure. sent15: the fact that the alb is not a toastrack is not wrong. sent16: the fact that something is a toastrack is right if the fact that it is not a toastrack and it does not disembowel Athyrium is false. sent17: if the carcase does not job supersedure the bookbinder does not disembowel Athyrium but it disembowels favored. sent18: if the bookbinder disembowels Athyrium and does disembowel favored then the isobutylene does not disembowel alb. sent19: the fact that the ombu does job abohm and does not disembowel alb is not incorrect if the isobutylene does not disembowel alb. sent20: the carcase is not a toastrack. ; $proof$ = 
sent3 -> int1: if the squawker is not a acebutolol and does not disembowel glebe then it is not a toastrack.; sent1 -> int2: the squawker is not a acebutolol and does not disembowel glebe.; int1 & int2 -> int3: the squawker is not a kind of a toastrack.; int3 & sent6 -> int4: the publicist is a toastrack or it does not yield Tamale or both.; __UNKNOWN__