The dog is blue. The dog is nice. The dog is red. The dog is rough. The dog is young. If something is nice and rough then it is red.
The dog does not visit the dog.
@0: The dog is blue.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3 OR ((triple2 triple4) -> rule1))] The dog is rough.[(triple4)] The dog is young.[(triple5)]