The dog is blue. The dog is cold. The dog is kind. The dog is rough. The dog is round. If the dog is blue then the dog is cold.
The dog does not need the dog.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2 OR ((triple1) -> rule1))] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)]