~P,P ==> contrradiction.

:- expects_dialect(pfc).

(bird(X), \+ ~fly(X)) ==> fly(X).

penguin(X) ==> bird(X).

penguin(X) ==> ~fly(X).

bird(X), injured(X) ==> ~fly(X).

bird(X), dead(X) ==> ~fly(X).