The dog is cold. The dog is green. The dog is red. If someone is red then they are green. If someone is big and kind then they are green.
The dog is not green.
@0: The dog is cold.[(triple1)] The dog is green.[(triple2 OR ((triple3) -> rule1))] The dog is red.[(triple3)]