Anne is cold. Anne is kind. Anne is nice. Anne is round. Anne is young. Erin is blue. Erin is cold. Erin is kind. Erin is round. Erin is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is young. Blue, cold things are furry.
Anne is round.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13 OR ((triple11 triple12) -> rule1))] Fiona is nice.[(triple14)] Fiona is young.[(triple15)] @1: Erin is furry.[(((triple6 triple7) -> rule1))]