The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is not red. The squirrel is rough. If someone is blue then they are nice.
The squirrel sees the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3 OR ((triple1) -> rule1))] The squirrel is not red.[(triple4)] The squirrel is rough.[(triple5)]