Socrates is a Man Example
There is a famous example of deductive logic.
All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.
In Blawx, “Man” is a category. “Socrates” is an object. “Mortal” is an attribute of the “Man” category. The phrase “All men are mortal” is a rule. The phrase “socrates is a man” is a fact. And you can ask Blawx whether or not the conclusion holds, essentially asking “is Socrates mortal?”
Here’s a short video showing how to do it.