The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel is round. All rough things are round.
The squirrel does not chase the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5 OR ((triple4) -> rule1))]