Anne is kind. Anne is white. Anne is young. Charlie is quiet. Erin is blue. Erin is quiet. Erin is white. Gary is furry. Gary is quiet. Gary is red. If someone is white and quiet then they are young. Kind people are furry. If someone is white then they are kind. White people are red. Furry, blue people are quiet. If Erin is kind then Erin is furry.
Charlie is not red.
@0: Anne is kind.[(triple1 OR ((triple2) -> rule3))] Anne is white.[(triple2)] Anne is young.[(triple3)] Charlie is quiet.[(triple4)] Erin is blue.[(triple5)] Erin is quiet.[(triple6 OR ((((((triple7) -> rule3)) -> rule2) triple5) -> rule5) OR ((((((triple7) -> rule3)) -> rule6) triple5) -> rule5))] Erin is white.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] @1: Anne is furry.[(((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] Anne is red.[(((triple2) -> rule4))] Erin is kind.[(((triple7) -> rule3))] Erin is red.[(((triple7) -> rule4))] Erin is young.[(((triple7 triple6) -> rule1) OR ((triple7 ((((((triple7) -> rule3)) -> rule2) triple5) -> rule5)) -> rule1) OR ((triple7 ((((((triple7) -> rule3)) -> rule6) triple5) -> rule5)) -> rule1))] @2: Erin is furry.[(((((triple7) -> rule3)) -> rule2) OR ((((triple7) -> rule3)) -> rule6))]