Added Tautology implementation
Finished isUnaryRule and made Tautology a multi value return rule