The dog is blue. The dog is green. The dog is rough. If the dog is green and the dog is red then the dog is rough. Green things are blue. All red things are green.
The dog needs the dog.
@0: The dog is blue.[(triple1 OR ((triple2) -> rule2))] The dog is green.[(triple2)] The dog is rough.[(triple3)]