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