The dog is blue. The dog is cold. The dog is rough. The dog is not round. The dog is young. All cold, blue things are rough. If the dog is cold and the dog is not young then the dog is rough. Rough things are not round.
The dog does not need the dog.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog is not round.[(triple4 OR ((triple3) -> rule3) OR ((((triple2 triple1) -> rule1)) -> rule3))] The dog is rough.[(triple3 OR ((triple2 triple1) -> rule1))] The dog is young.[(triple5)]