The dog is big. The dog is blue. The dog is cold. The dog is round. The dog is young. If someone is big then they are round. Round people are cold. If someone is blue then they are cold.
The dog does not chase the dog.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3 OR ((triple2) -> rule3) OR ((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] The dog is round.[(triple4 OR ((triple1) -> rule1))] The dog is young.[(triple5)]