The dog is big. The dog is green. The dog is kind. The dog is red. The dog is rough. Rough things are red.
The dog does not chase the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is red.[(triple4 OR ((triple5) -> rule1))] The dog is rough.[(triple5)]