Bob is white. If something is young and quiet then it is round. If something is quiet and white then it is young. All furry, blue things are white. White things are quiet. If something is blue then it is white. Young, round things are cold.
Bob is round.
@0: Bob is white.[(triple1)] @1: Bob is quiet.[(((triple1) -> rule4))] @2: Bob is young.[(((((triple1) -> rule4) triple1) -> rule2))] @3: Bob is round.[(((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule4)) -> rule1))] @4: Bob is cold.[(((((((triple1) -> rule4) triple1) -> rule2) ((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule4)) -> rule1)) -> rule6))]