Anne is blue. Anne is nice. Anne is quiet. Anne is red. Fiona is blue. Fiona is nice. Fiona is rough. All rough things are red. All furry, quiet things are blue.
Anne is furry.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is rough.[(triple7)] @1: Fiona is red.[(((triple7) -> rule1))]