The dog is green. The dog is kind. The dog is nice. If someone is green then they are red.
The dog likes the dog.
@0: The dog is green.[(triple1)] The dog is kind.[(triple2)] The dog is nice.[(triple3)] @1: The dog is red.[(((triple1) -> rule1))]