Bob is furry. Harry is nice. Quiet things are young. All young things are furry. If something is young then it is cold. All quiet, furry things are blue. All nice things are quiet. If Harry is quiet and Harry is smart then Harry is nice.
Harry is nice.
@0: Bob is furry.[(triple1)] Harry is nice.[(triple2)] @1: Harry is quiet.[(((triple2) -> rule5))] @2: Harry is young.[(((((triple2) -> rule5)) -> rule1))] @3: Harry is cold.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))] Harry is furry.[(((((((triple2) -> rule5)) -> rule1)) -> rule2))] @4: Harry is blue.[(((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule1)) -> rule2)) -> rule4))]