the huntress is not a penni and not a Dias.
sent1: if the epicondyle is a kind of a creatine then the gnetum is a Dias. sent2: the pier annexes if the flecainide is not a reprisal. sent3: if the gnetum is not a kind of a creatine then the apposition winnows Omomyid. sent4: the apposition winnows Omomyid. sent5: if the epicondyle is a Dias the fact that the huntress is a penni but it is not a kind of a Dias is false. sent6: the gnetum is not a palatability and not an annex if that the pier annex hold. sent7: something is a kind of a radical if it is a nailfile. sent8: if the fact that something is not a reprisal and annexes is not correct it is a reprisal. sent9: if something that is not a palatability annexes then it is not a kind of a creatine. sent10: the fact that the pier is not a kind of a nailfile is not wrong. sent11: if the epicondyle is a kind of a Dias then the fact that the huntress is not a penni and it is not a Dias is not correct. sent12: something that is not a palatability and not an annex is not a creatine. sent13: if the flecainide is a reprisal the huntress is not a penni and it is not a Dias. sent14: the Dubliner is a nailfile if the apposition is not a kind of a creatine but it does winnow Omomyid. sent15: if the Dubliner is radical then the fact that the epicondyle is a Dias is true. sent16: the apposition is not a creatine and does winnow Omomyid if the gnetum is not a creatine. sent17: the flecainide is not a reprisal. sent18: that something is not a creatine is correct if it is a palatability and not an annex.
sent2 & sent17 -> int1: the pier is a kind of an annex.; int1 & sent6 -> int2: the gnetum is not a palatability and it is not an annex.; sent12 -> int3: the gnetum is not a creatine if it is not a palatability and it is not an annex.; int2 & int3 -> int4: the gnetum is not a creatine.; int4 & sent16 -> int5: the fact that the apposition is not a kind of a creatine and does winnow Omomyid is right.; int5 & sent14 -> int6: the Dubliner is a kind of a nailfile.; sent7 -> int7: if the Dubliner is a nailfile it is a radical.; int6 & int7 -> int8: the Dubliner is a radical.; int8 & sent15 -> int9: the epicondyle is a kind of a Dias.; int9 & sent11 -> hypothesis;
the huntress is not a penni and it is not a kind of a Dias.
sent8 -> int10: the flecainide is a reprisal if the fact that it is not a kind of a reprisal and does annex is not true.;
$hypothesis$ = the huntress is not a penni and not a Dias. ; $context$ = sent1: if the epicondyle is a kind of a creatine then the gnetum is a Dias. sent2: the pier annexes if the flecainide is not a reprisal. sent3: if the gnetum is not a kind of a creatine then the apposition winnows Omomyid. sent4: the apposition winnows Omomyid. sent5: if the epicondyle is a Dias the fact that the huntress is a penni but it is not a kind of a Dias is false. sent6: the gnetum is not a palatability and not an annex if that the pier annex hold. sent7: something is a kind of a radical if it is a nailfile. sent8: if the fact that something is not a reprisal and annexes is not correct it is a reprisal. sent9: if something that is not a palatability annexes then it is not a kind of a creatine. sent10: the fact that the pier is not a kind of a nailfile is not wrong. sent11: if the epicondyle is a kind of a Dias then the fact that the huntress is not a penni and it is not a Dias is not correct. sent12: something that is not a palatability and not an annex is not a creatine. sent13: if the flecainide is a reprisal the huntress is not a penni and it is not a Dias. sent14: the Dubliner is a nailfile if the apposition is not a kind of a creatine but it does winnow Omomyid. sent15: if the Dubliner is radical then the fact that the epicondyle is a Dias is true. sent16: the apposition is not a creatine and does winnow Omomyid if the gnetum is not a creatine. sent17: the flecainide is not a reprisal. sent18: that something is not a creatine is correct if it is a palatability and not an annex. ; $proof$ = 
sent2 & sent17 -> int1: the pier is a kind of an annex.; int1 & sent6 -> int2: the gnetum is not a palatability and it is not an annex.; sent12 -> int3: the gnetum is not a creatine if it is not a palatability and it is not an annex.; int2 & int3 -> int4: the gnetum is not a creatine.; int4 & sent16 -> int5: the fact that the apposition is not a kind of a creatine and does winnow Omomyid is right.; int5 & sent14 -> int6: the Dubliner is a kind of a nailfile.; sent7 -> int7: if the Dubliner is a nailfile it is a radical.; int6 & int7 -> int8: the Dubliner is a radical.; int8 & sent15 -> int9: the epicondyle is a kind of a Dias.; int9 & sent11 -> hypothesis; __DISPROVED__