Anne is blue. Charlie is round. Erin is blue. Fiona is furry. Cold people are furry. Furry people are red. Furry people are red. If Anne is blue then Anne is cold. If Charlie is not smart and Charlie is not round then Charlie is red. If Erin is blue and Erin is not red then Erin is round.
Fiona is not red.
@0: Anne is blue.[(triple1)] Charlie is round.[(triple2)] Erin is blue.[(triple3)] Fiona is furry.[(triple4)] @1: Anne is cold.[(((triple1) -> rule4))] Fiona is red.[(((triple4) -> rule2) OR ((triple4) -> rule3))] @2: Anne is furry.[(((((triple1) -> rule4)) -> rule1))] @3: Anne is red.[(((((((triple1) -> rule4)) -> rule1)) -> rule2) OR ((((((triple1) -> rule4)) -> rule1)) -> rule3))]