Produce a knowledge base in PROPOSITIONAL LOGIC capturing the following information as closely as possible as stated here: If Tweety is a bird and it is not an abnormal bird, then it fies. A bird is abnormal exactly when it is an ostrich, a penguin, or not an abnormal wooden bird. A wooden bird is abnormal exactly when operated under remote control. Tweety is a bird, it is not an ostrich nor a penguin nor a remote controlled wooden bird. Prove using Prover9 that Tweety fies.

EXAMPLE.

If Superman were able and willing to prevent evil, he would do so. If Su- perman were unable to prevent evil, he would be impotent; if he were unwilling to prevent evil, he would be malevolent. Superman does not prevent evil. If Superman exists, he is neither impotent nor malevolent.

a: Superman is able to prevent evil w: Superman is willing to prevent evil i: Superman is impotent m: Superman is malevolent p: Superman prevents evil e: Superman exists Now, the given information can be represented by means of the following set of propositional formulas: 0: (a ^ w) -> p. 1: (-a -> i) ^ (-w -> m) 2: :-p 3: e -> (-i ^ -m) e is a consequence of 0....3.