The dog is big. The dog is cold. The dog is not green. The dog is kind. The dog is nice. Cold people are nice.
The dog is not nice.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is kind.[(triple4)] The dog is nice.[(triple5 OR ((triple2) -> rule1))] The dog is not green.[(triple3)]