The dog is cold. The dog is kind. The dog is red. The dog is round. The dog is young. All young people are red. If someone is young then they are cold. Young people are kind.
The dog visits the dog.
@0: The dog is cold.[(triple1 OR ((triple5) -> rule2))] The dog is kind.[(triple2 OR ((triple5) -> rule3))] The dog is red.[(triple3 OR ((triple5) -> rule1))] The dog is round.[(triple4)] The dog is young.[(triple5)]