AI Knowledge Base inference - Resolution algorithm implementation - python
Knowledge base structure: (operand operator operand)
input: knowledge base in the format mentioned above followed by a statement to be infered true or false
output: True/false