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 is round.
@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)]