Bob is furry. If something is smart then it is nice. If something is furry then it is smart. Cold, smart things are nice. Young, furry things are green. Cold, green things are young. All smart, furry things are green. Smart, green things are young. Young things are white.
Bob is young.
@0: Bob is furry.[(triple1)] @1: Bob is smart.[(((triple1) -> rule2))] @2: Bob is green.[(((((triple1) -> rule2) triple1) -> rule6))] Bob is nice.[(((((triple1) -> rule2)) -> rule1))] @3: Bob is young.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule6)) -> rule7))] @4: Bob is white.[(((((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule6)) -> rule7)) -> rule8))]