Anne is kind. Anne is young. Charlie is round. Charlie is smart. Dave is smart. Dave is not young. Erin is furry. If someone is furry and not white then they are not smart. All kind, white people are furry. Furry people are young.
Charlie is not young.
@0: Anne is kind.[(triple1)] Anne is young.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Dave is not young.[(triple6)] Dave is smart.[(triple5)] Erin is furry.[(triple7)] @1: Erin is young.[(((triple7) -> rule3))]