The dog is blue. The dog is green. The dog is red. The dog is round. The dog is young. Red things are green.
The dog sees the dog.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2 OR ((triple3) -> rule1))] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)]