The dog is green. The dog is kind. The dog is nice. The dog is rough. The dog is round. If someone is rough then they are green.
The dog needs the dog.
@0: The dog is green.[(triple1 OR ((triple4) -> rule1))] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)]