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