Charlie is smart. Harry is furry. All furry things are cold. All cold things are blue. Quiet, blue things are kind.
Charlie is smart.
@0: Charlie is smart.[(triple1)] Harry is furry.[(triple2)] @1: Harry is cold.[(((triple2) -> rule1))] @2: Harry is blue.[(((((triple2) -> rule1)) -> rule2))]