The dog is cold. The dog is round. The dog is young. All round people are green. If someone is nice and green then they are not cold.
The dog is nice.
@0: The dog is cold.[(triple1)] The dog is round.[(triple2)] The dog is young.[(triple3)] @1: The dog is green.[(((triple2) -> rule1))]