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.
Bob is not 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))]