Anne is red. Charlie is round. Dave is round. Fiona is smart. Smart people are not blue. If someone is smart and not blue then they are nice. If someone is nice then they are red.
Anne is nice.
@0: Anne is red.[(triple1)] Charlie is round.[(triple2)] Dave is round.[(triple3)] Fiona is smart.[(triple4)] @1: Fiona is not blue.[(((triple4) -> rule1))] @2: Fiona is nice.[(((triple4 ((triple4) -> rule1)) -> rule2))] @3: Fiona is red.[(((((triple4 ((triple4) -> rule1)) -> rule2)) -> rule3))]