Anne is blue. Anne is not cold. Anne is kind. Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is not round. Charlie is not white. Round, young people are furry.
Charlie is kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3)] Anne is not cold.[(triple2)] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Charlie is blue.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10)] Charlie is not round.[(triple11)] Charlie is not white.[(triple12)] @1: Anne is furry.[(((triple4 triple6) -> rule1))]