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