The cow is nice. All nice things are green. If something is young and round then it is nice. If something is young and nice then it is round.
The cow is nice.
@0: The cow is nice.[(triple1)] @1: The cow is green.[(((triple1) -> rule1))]