The dog is blue. The dog is green. The dog is not kind. The dog is not red. The dog is young. If the dog is red and the dog is kind then the dog is not blue. All kind, blue people are young. If someone is blue and not red then they are young.
The dog sees the dog.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog is not kind.[(triple3)] The dog is not red.[(triple4)] The dog is young.[(triple5 OR ((triple1 triple4) -> rule3))]