Bob is young. Harry is kind. Harry is young. If something is young then it is furry. If something is round and young then it is white. If something is white then it is red. If something is kind and red then it is white. If Harry is kind and Harry is furry then Harry is smart. All red, young things are smart. If something is smart then it is kind. All smart, red things are kind.
Harry is not furry.
@0: Bob is young.[(triple1)] Harry is kind.[(triple2)] Harry is young.[(triple3)] @1: Bob is furry.[(((triple1) -> rule1))] Harry is furry.[(((triple3) -> rule1))] @2: Harry is smart.[(((triple2 ((triple3) -> rule1)) -> rule5))]