The cat is green. The cat is red. The cat is young. Nice, red things are young. All young things are nice. All nice things are blue.
The cat likes the cat.
@0: The cat is green.[(triple1)] The cat is red.[(triple2)] The cat is young.[(triple3)] @1: The cat is nice.[(((triple3) -> rule2))] @2: The cat is blue.[(((((triple3) -> rule2)) -> rule3))]