that the RBC does blunt Burnett is right.
sent1: that the soymilk does not clangor and does not blunt Burnett is false if something does not dilate cantaloupe. sent2: the punster dilates yellowfin and is succinic if the parang is not diaphyseal. sent3: the soymilk does blunt Burnett if the RBC does dilate cantaloupe. sent4: if the fact that something is an attentiveness and it dilates cantaloupe does not hold it does not dilates cantaloupe. sent5: the fact that the RBC is an attentiveness and it dilates cantaloupe is not right if something does dilate yellowfin. sent6: the monoplane dilates cantaloupe. sent7: the RBC is Soviets. sent8: the soymilk is succinic if there is something such that that it is a moneran and is not diaphyseal is false. sent9: if something is an attentiveness then that it does not clangor and dilates cantaloupe does not hold. sent10: The cantaloupe does dilate soymilk. sent11: the RBC is lossy. sent12: if the soymilk dilates cantaloupe then the RBC blunts Burnett. sent13: the RBC does blunt borrower. sent14: there exists something such that the fact that it is a moneran and it is not diaphyseal is false. sent15: the RBC does dilate cantaloupe if the soymilk does blunt Burnett. sent16: the soymilk does dilate cantaloupe. sent17: the parang is not diaphyseal.
sent12 & sent16 -> hypothesis;
the deserter blunts Burnett.
sent4 -> int1: the RBC does not dilate cantaloupe if the fact that it is an attentiveness and does dilate cantaloupe is not right.; sent2 & sent17 -> int2: the punster does dilate yellowfin and it is succinic.; int2 -> int3: the punster does dilate yellowfin.; int3 -> int4: something dilates yellowfin.; int4 & sent5 -> int5: that the RBC is an attentiveness and it does dilate cantaloupe is not right.; int1 & int5 -> int6: the RBC does not dilate cantaloupe.; int6 -> int7: there is something such that it does not dilate cantaloupe.; int7 & sent1 -> int8: that that the soymilk does not clangor and does not blunt Burnett hold is not true.; int8 -> int9: there is something such that that it does not clangor and does not blunt Burnett is incorrect.;
$hypothesis$ = that the RBC does blunt Burnett is right. ; $context$ = sent1: that the soymilk does not clangor and does not blunt Burnett is false if something does not dilate cantaloupe. sent2: the punster dilates yellowfin and is succinic if the parang is not diaphyseal. sent3: the soymilk does blunt Burnett if the RBC does dilate cantaloupe. sent4: if the fact that something is an attentiveness and it dilates cantaloupe does not hold it does not dilates cantaloupe. sent5: the fact that the RBC is an attentiveness and it dilates cantaloupe is not right if something does dilate yellowfin. sent6: the monoplane dilates cantaloupe. sent7: the RBC is Soviets. sent8: the soymilk is succinic if there is something such that that it is a moneran and is not diaphyseal is false. sent9: if something is an attentiveness then that it does not clangor and dilates cantaloupe does not hold. sent10: The cantaloupe does dilate soymilk. sent11: the RBC is lossy. sent12: if the soymilk dilates cantaloupe then the RBC blunts Burnett. sent13: the RBC does blunt borrower. sent14: there exists something such that the fact that it is a moneran and it is not diaphyseal is false. sent15: the RBC does dilate cantaloupe if the soymilk does blunt Burnett. sent16: the soymilk does dilate cantaloupe. sent17: the parang is not diaphyseal. ; $proof$ = 
sent12 & sent16 -> hypothesis; __PROVED__