Bob is kind. Bob is quiet. Bob is red. Bob is white. Erin is furry. Erin is quiet. Erin is red. Erin is white. Gary is not blue. Gary is furry. If Gary is not blue then Gary is white. If someone is blue and not kind then they are quiet. Quiet people are furry. If someone is white then they are smart. If Gary is furry and Gary is white then Gary is red. If Erin is white and Erin is not quiet then Erin is smart.
Erin is not blue.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Erin is furry.[(triple5 OR ((triple6) -> rule3))] Erin is quiet.[(triple6)] Erin is red.[(triple7)] Erin is white.[(triple8)] Gary is furry.[(triple10)] Gary is not blue.[(triple9)] @1: Bob is furry.[(((triple2) -> rule3))] Bob is smart.[(((triple4) -> rule4))] Erin is smart.[(((triple8) -> rule4))] Gary is white.[(((triple9) -> rule1))] @2: Gary is red.[(((triple10 ((triple9) -> rule1)) -> rule5))] Gary is smart.[(((((triple9) -> rule1)) -> rule4))]