The dog is big. The dog is green. The dog is not kind. Big people are not cold. All big people are green. If someone is rough then they are green. If the dog is rough and the dog is big then the dog is kind. All cold people are big. If someone is rough and not big then they are kind. If someone is green and not big then they are not kind. All cold, rough people are kind.
The dog eats the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2 OR ((triple1) -> rule2))] The dog is not kind.[(triple3)] @1: The dog is not cold.[(((triple1) -> rule1))]