The dog is green. The dog is kind. The dog is nice. The dog is rough. The dog is young. Rough, kind people are green.
The dog does not like the dog.
@0: The dog is green.[(triple1 OR ((triple4 triple2) -> rule1))] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5)]