Anne is nice. Bob is quiet. Fiona is red. If something is red then it is nice. If something is red and nice then it is blue.
Anne is nice.
@0: Anne is nice.[(triple1)] Bob is quiet.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule1))] @2: Fiona is blue.[(((triple3 ((triple3) -> rule1)) -> rule2))]