The squirrel is blue. The squirrel is green. The squirrel is rough. Green people are blue. Nice, green people are kind.
The squirrel is not kind.
@0: The squirrel is blue.[(triple1 OR ((triple2) -> rule1))] The squirrel is green.[(triple2)] The squirrel is rough.[(triple3)]