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