The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel is rough. Big people are cold.
The squirrel does not visit the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3 OR ((triple1) -> rule1))] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5)]