Anne is blue. Bob is cold. Erin is cold. Harry is blue. If someone is smart then they are blue. If Anne is furry then Anne is white. All smart, cold people are furry. All cold people are blue. If Erin is furry then Erin is rough. Blue people are furry. If Erin is furry and Erin is rough then Erin is smart. All smart, round people are white.
Bob is white.
@0: Anne is blue.[(triple1)] Bob is cold.[(triple2)] Erin is cold.[(triple3)] Harry is blue.[(triple4)] @1: Anne is furry.[(((triple1) -> rule6))] Bob is blue.[(((triple2) -> rule4))] Erin is blue.[(((triple3) -> rule4))] Harry is furry.[(((triple4) -> rule6))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule2))] Bob is furry.[(((((triple2) -> rule4)) -> rule6))] Erin is furry.[(((((triple3) -> rule4)) -> rule6))] @3: Erin is rough.[(((((((triple3) -> rule4)) -> rule6)) -> rule5))] @4: Erin is smart.[(((((((triple3) -> rule4)) -> rule6) ((((((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule7))]