Anne is blue. Anne is round. Fiona is white. If Anne is round then Anne is white. All round, smart things are green. If something is smart then it is red. If Fiona is red and Fiona is round then Fiona is quiet. If Fiona is white then Fiona is quiet. If something is red and blue then it is round.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Fiona is white.[(triple3)] @1: Anne is white.[(((triple2) -> rule1))] Fiona is quiet.[(((triple3) -> rule5))]