Anne is smart. Bob is furry. Erin is green. Harry is white. Blue things are smart. If Bob is blue and Bob is green then Bob is white. If something is kind and green then it is white. If something is green then it is kind. If something is kind and furry then it is blue. All blue things are smart. All kind, blue things are furry. All smart, red things are furry.
Bob is green.
@0: Anne is smart.[(triple1)] Bob is furry.[(triple2)] Erin is green.[(triple3)] Harry is white.[(triple4)] @1: Erin is kind.[(((triple3) -> rule4))] @2: Erin is white.[(((((triple3) -> rule4) triple3) -> rule3))]