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 is green.
@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)]