The dog is green. The dog is round. The dog is young. If something is kind and green then it is not nice. Green things are nice.
The dog is young.
@0: The dog is green.[(triple1)] The dog is round.[(triple2)] The dog is young.[(triple3)] @1: The dog is nice.[(((triple1) -> rule2))]