The dog is cold. The dog is green. The dog is kind. The dog is round. The dog is young. Young things are kind.
The dog does not chase the dog.
@0: The dog is cold.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple5) -> rule1))] The dog is round.[(triple4)] The dog is young.[(triple5)]