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 is green.
@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)]