The dog is not big. The dog is cold. The dog is kind. The dog is rough. The dog is young. If someone is rough then they are kind. Cold, big people are rough.
The dog does not eat the dog.
@0: The dog is cold.[(triple2)] The dog is kind.[(triple3 OR ((triple4) -> rule1))] The dog is not big.[(triple1)] The dog is rough.[(triple4)] The dog is young.[(triple5)]