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