Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Fiona is furry. Fiona is white. Harry is cold. Harry is furry. Harry is white. Harry is young. If Fiona is round then Fiona is furry. All blue, quiet things are young. If something is blue then it is quiet.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule3))] Fiona is furry.[(triple5)] Fiona is white.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Anne is young.[(((triple1 triple4) -> rule2) OR ((triple1 ((triple1) -> rule3)) -> rule2))]