Anne is blue. Anne is cold. Anne is not furry. Anne is not red. Anne is round. Anne is white. Charlie is big. Charlie is cold. Charlie is red. Charlie is round. Erin is big. Erin is not blue. Erin is not cold. Erin is red. Erin is round. If someone is red then they are furry.
Charlie is blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not furry.[(triple3)] Anne is not red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Charlie is big.[(triple7)] Charlie is cold.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10)] Erin is big.[(triple11)] Erin is not blue.[(triple12)] Erin is not cold.[(triple13)] Erin is red.[(triple14)] Erin is round.[(triple15)] @1: Charlie is furry.[(((triple9) -> rule1))] Erin is furry.[(((triple14) -> rule1))]