Here is a simple Prolog program that reformulates the famous logical argument by Aristotle:

```prolog
% (Statements in program file (.pl))
mortal(X) :- human(X). % "Every human is mortal"
human(socrates). % "Socrates is human"

% (Interactive query)
?- mortal(socrates). % Is Socrates mortal?
% will return "true."
```
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence