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 does not eat 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)]