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