The dog is blue. The dog is kind. The dog is red. The dog is rough. The dog is young. Kind people are young. If the dog is rough then the dog is kind. If the dog is kind then the dog is young.
The dog chases the dog.
@0: The dog is blue.[(triple1)] The dog is kind.[(triple2 OR ((triple4) -> rule2))] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5 OR ((triple2) -> rule1) OR ((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule2)) -> rule3))]