However the two constraints cannot be simultaneously satisfied in KB1; This can be shown computationally by using the satisfiability check in KB1, but also by the following informal reasoning: df(D,tablet) and da(D,drink) imply that D is both in Tablet-Drugs and in DrinkDrugs; by the second fact it is in So-lutionDrugs, but SolutionDrugs and TabletDrugs have an empty intersection.
all expansions of comments lead to invalidity; hence drink is not a live choice.