the brainwave is a beautician and is autosomal.
sent1: if the goitrogen is not a beautician and does slither then it does not carbonate Stenopelmatidae. sent2: the galvanism is conventional. sent3: if the brainwave is both not a pompano and not a segment then it is not a beautician. sent4: if the cello is monolingual then the squeezer is anaerobic. sent5: the squeezer is a monolingual if that it is ambitious and it is not a kind of a segment does not hold. sent6: if the squeezer is not monolingual and it does not slither it does not drink Belgium. sent7: the cello is not aerobics if that it is not a kind of a vernier and it is anaerobic is not correct. sent8: if there is something such that it is cometary then the goitrogen is either enteric or a beautician or both. sent9: the squeezer does not segment if the fact that it is not a monolingual and it carbonates Stenopelmatidae is wrong. sent10: if the cello does not slither and it is not aerobics then the brainwave is not non-autosomal. sent11: if the cello does drink Belgium and does not carbonate Stenopelmatidae it does not slither. sent12: the brainwave does segment. sent13: if the commissionaire is nonmagnetic it is not enteric. sent14: the cello does not drink Belgium if the squeezer does not drink Belgium. sent15: if the cello does not drink Belgium and it does not carbonate Stenopelmatidae it does not slither. sent16: that the brainwave is a beautician is not incorrect if the goitrogen is a beautician. sent17: the fact that the cello is not a kind of a vernier but it is not non-anaerobic does not hold. sent18: the squeezer is not non-enteric. sent19: something that is not conventional is not a beautician. sent20: that the squeezer is ambitious but not a segment is false if the galvanism is conventional. sent21: if the cello is enteric but it is not aerobics it is not anaerobic. sent22: if the fact that the cello is not non-autosomal but enteric hold it does not drink Belgium. sent23: the fact that the squeezer does not drink Belgium hold if it is a monolingual and it is a pompano. sent24: if the goitrogen is enteric then the brainwave is a beautician. sent25: if the fact that the squeezer carbonates Stenopelmatidae is not false the fact that the cello is ambitious and is not a kind of a monolingual is wrong. sent26: that the cello is not a kind of a beautician hold if it is a vernier and it does drink Belgium. sent27: the cello does not drink Belgium and it does not carbonate Stenopelmatidae if the squeezer does not drink Belgium. sent28: something is cometary. sent29: that the squeezer is faceless and it is a kind of a Erythronium is not true.
sent20 & sent2 -> int1: that the squeezer is ambitious but it is not a segment does not hold.; int1 & sent5 -> int2: the squeezer is a monolingual.; sent7 & sent17 -> int3: the cello is not aerobics.; sent28 & sent8 -> int4: the goitrogen is enteric or it is a kind of a beautician or both.; int4 & sent24 & sent16 -> int5: the brainwave is a beautician.;
the fact that the brainwave is a beautician and it is autosomal does not hold.
sent19 -> int6: if the galvanism is not conventional it is not a kind of a beautician.;
$hypothesis$ = the brainwave is a beautician and is autosomal. ; $context$ = sent1: if the goitrogen is not a beautician and does slither then it does not carbonate Stenopelmatidae. sent2: the galvanism is conventional. sent3: if the brainwave is both not a pompano and not a segment then it is not a beautician. sent4: if the cello is monolingual then the squeezer is anaerobic. sent5: the squeezer is a monolingual if that it is ambitious and it is not a kind of a segment does not hold. sent6: if the squeezer is not monolingual and it does not slither it does not drink Belgium. sent7: the cello is not aerobics if that it is not a kind of a vernier and it is anaerobic is not correct. sent8: if there is something such that it is cometary then the goitrogen is either enteric or a beautician or both. sent9: the squeezer does not segment if the fact that it is not a monolingual and it carbonates Stenopelmatidae is wrong. sent10: if the cello does not slither and it is not aerobics then the brainwave is not non-autosomal. sent11: if the cello does drink Belgium and does not carbonate Stenopelmatidae it does not slither. sent12: the brainwave does segment. sent13: if the commissionaire is nonmagnetic it is not enteric. sent14: the cello does not drink Belgium if the squeezer does not drink Belgium. sent15: if the cello does not drink Belgium and it does not carbonate Stenopelmatidae it does not slither. sent16: that the brainwave is a beautician is not incorrect if the goitrogen is a beautician. sent17: the fact that the cello is not a kind of a vernier but it is not non-anaerobic does not hold. sent18: the squeezer is not non-enteric. sent19: something that is not conventional is not a beautician. sent20: that the squeezer is ambitious but not a segment is false if the galvanism is conventional. sent21: if the cello is enteric but it is not aerobics it is not anaerobic. sent22: if the fact that the cello is not non-autosomal but enteric hold it does not drink Belgium. sent23: the fact that the squeezer does not drink Belgium hold if it is a monolingual and it is a pompano. sent24: if the goitrogen is enteric then the brainwave is a beautician. sent25: if the fact that the squeezer carbonates Stenopelmatidae is not false the fact that the cello is ambitious and is not a kind of a monolingual is wrong. sent26: that the cello is not a kind of a beautician hold if it is a vernier and it does drink Belgium. sent27: the cello does not drink Belgium and it does not carbonate Stenopelmatidae if the squeezer does not drink Belgium. sent28: something is cometary. sent29: that the squeezer is faceless and it is a kind of a Erythronium is not true. ; $proof$ = 
sent20 & sent2 -> int1: that the squeezer is ambitious but it is not a segment does not hold.; int1 & sent5 -> int2: the squeezer is a monolingual.; sent7 & sent17 -> int3: the cello is not aerobics.; sent28 & sent8 -> int4: the goitrogen is enteric or it is a kind of a beautician or both.; int4 & sent24 & sent16 -> int5: the brainwave is a beautician.; __UNKNOWN__