Anne is cold. Anne is kind. Anne is quiet. Anne is round. Charlie is furry. Erin is blue. Erin is furry. Erin is kind. Erin is round. Fiona is blue. Furry, blue things are kind. All kind, blue things are round. All cold, kind things are furry. All kind things are blue. Blue things are kind. If something is red then it is cold. Cold things are round. All furry, blue things are cold.
Erin is not blue.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule7) OR ((triple2 ((triple2) -> rule4)) -> rule2))] Charlie is furry.[(triple5)] Erin is blue.[(triple6 OR ((triple8) -> rule4))] Erin is furry.[(triple7)] Erin is kind.[(triple8 OR ((triple6) -> rule5) OR ((triple7 triple6) -> rule1))] Erin is round.[(triple9 OR ((triple8 triple6) -> rule2) OR ((((triple7 triple6) -> rule8)) -> rule7) OR ((triple8 ((triple8) -> rule4)) -> rule2) OR ((((triple6) -> rule5) triple6) -> rule2) OR ((((triple7 triple6) -> rule1) triple6) -> rule2) OR ((((triple6) -> rule5) ((triple8) -> rule4)) -> rule2) OR ((((triple7 triple6) -> rule1) ((triple8) -> rule4)) -> rule2) OR ((((triple7 ((triple8) -> rule4)) -> rule8)) -> rule7))] Fiona is blue.[(triple10)] @1: Anne is blue.[(((triple2) -> rule4))] Anne is furry.[(((triple1 triple2) -> rule3))] Erin is cold.[(((triple7 triple6) -> rule8) OR ((triple7 ((triple8) -> rule4)) -> rule8))] Fiona is kind.[(((triple10) -> rule5))] @2: Fiona is round.[(((((triple10) -> rule5) triple10) -> rule2))]