The dog is blue. The dog is kind. The dog is nice. The dog is round. The dog is young. If the dog is young then the dog is kind.
The dog does not like the dog.
@0: The dog is blue.[(triple1)] The dog is kind.[(triple2 OR ((triple5) -> rule1))] The dog is nice.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)]