The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. All kind, rough things are red. If something is red and not rough then it is kind. If something is kind and not red then it is nice.
The squirrel is not rough.
@0: The squirrel is green.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4 OR ((triple2 triple5) -> rule1))] The squirrel is rough.[(triple5)]