The squirrel is blue. The squirrel is not cold. The squirrel is red. The squirrel is rough. The squirrel is round. Red, round people are rough.
The squirrel visits the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is not cold.[(triple2)] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4 OR ((triple3 triple5) -> rule1))] The squirrel is round.[(triple5)]