Anne is blue. Bob is furry. Harry is not blue. If Anne is blue then Anne is quiet. Big, blue people are quiet. Blue people are not young. If Anne is young then Anne is not furry. If someone is quiet then they are white. If someone is furry and not big then they are not blue. If someone is young and not furry then they are smart. White people are smart.
Harry is blue.
@0: Anne is blue.[(triple1)] Bob is furry.[(triple2)] Harry is not blue.[(triple3)] @1: Anne is not young.[(((triple1) -> rule3))] Anne is quiet.[(((triple1) -> rule1))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule5))] @3: Anne is smart.[(((((((triple1) -> rule1)) -> rule5)) -> rule8))]