Bob is young. Harry is round. Harry is white. If something is white and not furry then it is cold. All furry things are not cold. Young things are not round. If something is furry then it is young. All cold, young things are green. If something is round then it is green. If Harry is round then Harry is green. Round, green things are kind.
Harry is not young.
@0: Bob is young.[(triple1)] Harry is round.[(triple2)] Harry is white.[(triple3)] @1: Bob is not round.[(((triple1) -> rule3))] Harry is green.[(((triple2) -> rule6) OR ((triple2) -> rule7))] @2: Harry is kind.[(((triple2 ((triple2) -> rule6)) -> rule8) OR ((triple2 ((triple2) -> rule7)) -> rule8))]