Anne is furry. Anne is kind. Bob is red. Bob is round. Charlie is blue. Charlie is red. Charlie is white. Charlie is young. Gary is blue. Gary is furry. Gary is round. Gary is not white. If Anne is furry and Anne is blue then Anne is white. If Gary is kind then Gary is not blue. If someone is furry then they are not white. If someone is kind then they are young. All young people are not round. If someone is kind and not round then they are red.
Anne is red.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple5)] Charlie is red.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is not white.[(triple12 OR ((triple10) -> rule3))] Gary is round.[(triple11)] @1: Anne is not white.[(((triple1) -> rule3))] Anne is young.[(((triple2) -> rule4))] Charlie is not round.[(((triple8) -> rule5))] @2: Anne is not round.[(((((triple2) -> rule4)) -> rule5))] @3: Anne is red.[(((triple2 ((((triple2) -> rule4)) -> rule5)) -> rule6))]