Dave is green. Fiona is blue. Gary is round. If someone is round then they are smart. If someone is smart then they are nice.
Dave is not green.
@0: Dave is green.[(triple1)] Fiona is blue.[(triple2)] Gary is round.[(triple3)] @1: Gary is smart.[(((triple3) -> rule1))] @2: Gary is nice.[(((((triple3) -> rule1)) -> rule2))]