The dog is big. The dog is cold. The dog is green. The dog is kind. The dog is nice. Kind things are green. Green, cold things are nice.
The dog does not chase the dog.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple4) -> rule1))] The dog is kind.[(triple4)] The dog is nice.[(triple5 OR ((triple3 triple2) -> rule2) OR ((((triple4) -> rule1) triple2) -> rule2))]