Erin is quiet. Erin is red. Gary is not blue. Gary is quiet. Gary is red. Gary is smart. Gary is white. If Erin is furry then Erin is blue. If something is furry and nice then it is smart. All furry things are smart. If something is quiet and blue then it is not nice. If something is quiet then it is furry. If Gary is quiet and Gary is nice then Gary is white. If something is smart and blue then it is red. If something is furry and not nice then it is red.
Erin is blue.
@0: Erin is quiet.[(triple1)] Erin is red.[(triple2 OR ((((((triple1) -> rule5)) -> rule3) ((((triple1) -> rule5)) -> rule1)) -> rule7) OR ((((triple1) -> rule5) ((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4)) -> rule8))] Gary is not blue.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6 OR ((((triple4) -> rule5)) -> rule3))] Gary is white.[(triple7)] @1: Erin is furry.[(((triple1) -> rule5))] Gary is furry.[(((triple4) -> rule5))] @2: Erin is blue.[(((((triple1) -> rule5)) -> rule1))] Erin is smart.[(((((triple1) -> rule5)) -> rule3))] @3: Erin is not nice.[(((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4))]