the millionairess kids.
sent1: that the whoremaster is controversial and it is a kind of an ace is not right. sent2: if something does not relace judas it is not non-ulcerative and it is a kid. sent3: if the whoremaster is controversial the millionairess does kid. sent4: that the koumiss is not a defensibility and does relace judas does not hold. sent5: the hydroxyzine does kid. sent6: that the koumiss relaces judas is correct. sent7: if the hydroxyzine is not a defensibility then the fact that the whoremaster is controversial an ace is wrong. sent8: that the millionairess kids and is controversial is incorrect. sent9: the millionairess is a kid if the fact that the whoremaster is a kind of non-controversial thing that aces is false. sent10: if the fact that the koumiss is ulcerative and it relaces judas is right the hydroxyzine is not a kind of a defensibility. sent11: That the judas relaces koumiss is correct. sent12: something does not relace judas if it is a defensibility and is a kind of an ace. sent13: if the koumiss is not a kind of a kid then the fact that the hydroxyzine is a defensibility that relaces judas does not hold. sent14: the koumiss is ulcerative. sent15: if something is not controversial then it is a defensibility. sent16: that the hydroxyzine is a defensibility and it does relace judas is incorrect. sent17: the millionairess is not a kid if the koumiss is ulcerative and it does kid. sent18: if the hydroxyzine is not a kind of a defensibility then that the whoremaster is a kind of non-controversial an ace is incorrect.
sent14 & sent6 -> int1: the koumiss is ulcerative thing that does relace judas.; sent10 & int1 -> int2: the hydroxyzine is not a defensibility.; sent18 & int2 -> int3: the fact that the whoremaster is non-controversial thing that aces is not correct.; sent9 & int3 -> hypothesis;
that the millionairess is not a kid is true.
sent2 -> int4: if the koumiss does not relace judas then it is not non-ulcerative and is a kid.; sent12 -> int5: the koumiss does not relace judas if it is a defensibility and aces.; sent15 -> int6: the koumiss is a kind of a defensibility if it is not controversial.;
$hypothesis$ = the millionairess kids. ; $context$ = sent1: that the whoremaster is controversial and it is a kind of an ace is not right. sent2: if something does not relace judas it is not non-ulcerative and it is a kid. sent3: if the whoremaster is controversial the millionairess does kid. sent4: that the koumiss is not a defensibility and does relace judas does not hold. sent5: the hydroxyzine does kid. sent6: that the koumiss relaces judas is correct. sent7: if the hydroxyzine is not a defensibility then the fact that the whoremaster is controversial an ace is wrong. sent8: that the millionairess kids and is controversial is incorrect. sent9: the millionairess is a kid if the fact that the whoremaster is a kind of non-controversial thing that aces is false. sent10: if the fact that the koumiss is ulcerative and it relaces judas is right the hydroxyzine is not a kind of a defensibility. sent11: That the judas relaces koumiss is correct. sent12: something does not relace judas if it is a defensibility and is a kind of an ace. sent13: if the koumiss is not a kind of a kid then the fact that the hydroxyzine is a defensibility that relaces judas does not hold. sent14: the koumiss is ulcerative. sent15: if something is not controversial then it is a defensibility. sent16: that the hydroxyzine is a defensibility and it does relace judas is incorrect. sent17: the millionairess is not a kid if the koumiss is ulcerative and it does kid. sent18: if the hydroxyzine is not a kind of a defensibility then that the whoremaster is a kind of non-controversial an ace is incorrect. ; $proof$ = 
sent14 & sent6 -> int1: the koumiss is ulcerative thing that does relace judas.; sent10 & int1 -> int2: the hydroxyzine is not a defensibility.; sent18 & int2 -> int3: the fact that the whoremaster is non-controversial thing that aces is not correct.; sent9 & int3 -> hypothesis; __PROVED__