The dog is cold. The dog is green. The dog is kind. The dog is round. The dog is young. Young things are kind.
The dog is not cold.
@0: The dog is cold.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple5) -> rule1))] The dog is round.[(triple4)] The dog is young.[(triple5)]