the megestrol is a kind of a Wilkinson that is a kind of a UK.
sent1: the megestrol is a UK. sent2: if there exists something such that the fact that it is not a vitality is true the megestrol is a kind of a bladder. sent3: if something is a kind of a UK then it is a bladder. sent4: the megestrol is a Schmidt and it is a kind of a basswood. sent5: the megestrol is a Wilkinson and it is a bladder if there is something such that it is not a kind of a UK. sent6: the self is a kind of a typing and it embrowns Munch. sent7: the fact that the dry is a kind of the bladder if the dry types hold. sent8: something is a Wilkinson if it is not a vitality and it is a kind of a bladder. sent9: the megestrol is a bladder. sent10: the megestrol does fill and it is sinistral. sent11: the megestrol excuses. sent12: something is a Wilkinson if it is a typing. sent13: the dry is a typing if the fact that the dynamite is not a pawer or it is a typing or both does not hold. sent14: there is something such that it is not a vitality. sent15: if there is something such that it is not a vitality then that the megestrol is a bladder and it is a typing is not incorrect.
sent14 & sent15 -> int1: the megestrol is a bladder and it is a kind of a typing.; int1 -> int2: the megestrol types.; sent12 -> int3: the megestrol is a Wilkinson if it does type.; int2 & int3 -> int4: the megestrol is a Wilkinson.; int4 & sent1 -> hypothesis;
the fact that the megestrol is a kind of a Wilkinson and it is a UK is wrong.
$hypothesis$ = the megestrol is a kind of a Wilkinson that is a kind of a UK. ; $context$ = sent1: the megestrol is a UK. sent2: if there exists something such that the fact that it is not a vitality is true the megestrol is a kind of a bladder. sent3: if something is a kind of a UK then it is a bladder. sent4: the megestrol is a Schmidt and it is a kind of a basswood. sent5: the megestrol is a Wilkinson and it is a bladder if there is something such that it is not a kind of a UK. sent6: the self is a kind of a typing and it embrowns Munch. sent7: the fact that the dry is a kind of the bladder if the dry types hold. sent8: something is a Wilkinson if it is not a vitality and it is a kind of a bladder. sent9: the megestrol is a bladder. sent10: the megestrol does fill and it is sinistral. sent11: the megestrol excuses. sent12: something is a Wilkinson if it is a typing. sent13: the dry is a typing if the fact that the dynamite is not a pawer or it is a typing or both does not hold. sent14: there is something such that it is not a vitality. sent15: if there is something such that it is not a vitality then that the megestrol is a bladder and it is a typing is not incorrect. ; $proof$ = 
sent14 & sent15 -> int1: the megestrol is a bladder and it is a kind of a typing.; int1 -> int2: the megestrol types.; sent12 -> int3: the megestrol is a Wilkinson if it does type.; int2 & int3 -> int4: the megestrol is a Wilkinson.; int4 & sent1 -> hypothesis; __PROVED__