The cat is green. The cat is kind. The cat is red. Green people are kind.
The cat does not chase the cat.
@0: The cat is green.[(triple1)] The cat is kind.[(triple2 OR ((triple1) -> rule1))] The cat is red.[(triple3)]