The dog is blue. The dog is round. The dog is young. All young things are round. If the dog is not round then the dog is green.
The dog is not blue.
@0: The dog is blue.[(triple1)] The dog is round.[(triple2 OR ((triple3) -> rule1))] The dog is young.[(triple3)]