The dog is cold. The dog is green. The dog is kind. The dog is red. The dog is young. Young people are kind. If the dog is young and the dog is not cold then the dog is green. If the dog is red and the dog is not kind then the dog is green.
The dog does not like the dog.
@0: The dog is cold.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple5) -> rule1))] The dog is red.[(triple4)] The dog is young.[(triple5)]