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