The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is round. If the squirrel is rough then the squirrel is kind.
The squirrel is not red.
@0: The squirrel is blue.[(triple1)] The squirrel is kind.[(triple2 OR ((triple4) -> rule1))] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)]