Anne is furry. Anne is kind. Erin is furry. Erin is green. Fiona is kind. Fiona is quiet. Fiona is round. All quiet things are blue.
Erin is not blue.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is blue.[(((triple6) -> rule1))]