Beesla - Deductive Reasoning