Added commented out tests for && and || on Fact.
Jack/Brian: Implement && and || in Fact.