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