The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. All cold people are big. If the squirrel is big then the squirrel is red. If someone is red and rough then they are cold.
The squirrel does not see the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple2) -> rule1) OR ((((triple4 triple5) -> rule3)) -> rule1))] The squirrel is cold.[(triple2 OR ((triple4 triple5) -> rule3) OR ((((triple1) -> rule2) triple5) -> rule3))] The squirrel is green.[(triple3)] The squirrel is red.[(triple4 OR ((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] The squirrel is rough.[(triple5)]