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.
Fiona is nice.
@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))]