Answer:
FORMALLOGIC
Possible Questions:

System using syllogisms