The dog is blue. The dog is kind. The dog is rough. The dog is round. The dog is young. If the dog is kind then the dog is rough. If the dog is kind then the dog is round.
The dog needs the dog.
@0: The dog is blue.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3 OR ((triple2) -> rule1))] The dog is round.[(triple4 OR ((triple2) -> rule2))] The dog is young.[(triple5)]