Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is round. Anne is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is round. Quiet people are cold. If Fiona is cold then Fiona is furry.
Anne is young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule1))] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9 OR ((((triple11) -> rule1)) -> rule2))] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] @1: Fiona is cold.[(((triple11) -> rule1))]