The dog is kind. The dog is round. The dog is young. If the dog is young and the dog is kind then the dog is round. Round people are cold.
The dog likes the dog.
@0: The dog is kind.[(triple1)] The dog is round.[(triple2 OR ((triple3 triple1) -> rule1))] The dog is young.[(triple3)] @1: The dog is cold.[(((triple2) -> rule2) OR ((((triple3 triple1) -> rule1)) -> rule2))]