The dog is blue. The dog is not cold. The dog is nice. The dog is round. The dog is young. If something is round then it is blue. All round things are not cold.
The dog does not chase the dog.
@0: The dog is blue.[(triple1 OR ((triple4) -> rule1))] The dog is nice.[(triple3)] The dog is not cold.[(triple2 OR ((triple4) -> rule2))] The dog is round.[(triple4)] The dog is young.[(triple5)]