The dog is not big. The dog is green. The dog is kind. The dog is nice. The dog is red. If the dog is kind and the dog is not big then the dog is nice. If someone is big then they are nice.
The dog does not need the dog.
@0: The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4 OR ((triple3 triple1) -> rule1))] The dog is not big.[(triple1)] The dog is red.[(triple5)]