Anne is big. Bob is furry. Charlie is quiet. All blue things are cold. If Anne is furry and Anne is big then Anne is blue. All cold things are quiet. If something is nice then it is blue. Furry things are nice. If Bob is big then Bob is quiet.
Bob is blue.
@0: Anne is big.[(triple1)] Bob is furry.[(triple2)] Charlie is quiet.[(triple3)] @1: Bob is nice.[(((triple2) -> rule5))] @2: Bob is blue.[(((((triple2) -> rule5)) -> rule4))] @3: Bob is cold.[(((((((triple2) -> rule5)) -> rule4)) -> rule1))] @4: Bob is quiet.[(((((((((triple2) -> rule5)) -> rule4)) -> rule1)) -> rule3))]