Charlie is furry. Charlie is smart. Erin is blue. Erin is kind. Erin is white. Gary is big. Gary is kind. Harry is furry. Harry is kind. Harry is white. All furry people are blue. All blue, red people are kind. If someone is smart and big then they are red. All white people are furry. If someone is white then they are blue. All big people are furry. If someone is blue and furry then they are white. If someone is smart and white then they are red.
Erin is not red.
@0: Charlie is furry.[(triple1)] Charlie is smart.[(triple2)] Erin is blue.[(triple3 OR ((triple5) -> rule5) OR ((((triple5) -> rule4)) -> rule1))] Erin is kind.[(triple4)] Erin is white.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7)] Harry is furry.[(triple8 OR ((triple10) -> rule4))] Harry is kind.[(triple9)] Harry is white.[(triple10 OR ((((triple8) -> rule1) triple8) -> rule7))] @1: Charlie is blue.[(((triple1) -> rule1))] Erin is furry.[(((triple5) -> rule4))] Gary is furry.[(((triple6) -> rule6))] Harry is blue.[(((triple10) -> rule5) OR ((triple8) -> rule1) OR ((((triple10) -> rule4)) -> rule1))] @2: Charlie is white.[(((((triple1) -> rule1) triple1) -> rule7))] Gary is blue.[(((((triple6) -> rule6)) -> rule1))] @3: Charlie is red.[(((triple2 ((((triple1) -> rule1) triple1) -> rule7)) -> rule8))] Gary is white.[(((((((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule7))] @4: Charlie is kind.[(((((triple1) -> rule1) ((triple2 ((((triple1) -> rule1) triple1) -> rule7)) -> rule8)) -> rule2))]