Bob is furry. Bob is kind. Charlie is green. Charlie is kind. Charlie is round. Charlie is smart. Dave is white. Furry things are round. All white, rough things are furry. If something is round and furry then it is smart.
Charlie is smart.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Dave is white.[(triple7)] @1: Bob is round.[(((triple1) -> rule1))] @2: Bob is smart.[(((((triple1) -> rule1) triple1) -> rule3))]