Charlie is smart. Dave is rough. Harry is quiet. Furry things are quiet. Furry things are young. If something is young then it is rough. If Harry is quiet and Harry is furry then Harry is smart. Quiet things are kind. All cold things are furry. Rough things are furry. All furry things are smart.
Harry is not cold.
@0: Charlie is smart.[(triple1)] Dave is rough.[(triple2)] Harry is quiet.[(triple3)] @1: Dave is furry.[(((triple2) -> rule7))] Harry is kind.[(((triple3) -> rule5))] @2: Dave is quiet.[(((((triple2) -> rule7)) -> rule1))] Dave is smart.[(((((triple2) -> rule7)) -> rule8))] Dave is young.[(((((triple2) -> rule7)) -> rule2))] @3: Dave is kind.[(((((((triple2) -> rule7)) -> rule1)) -> rule5))]