Bob is smart. Charlie is round. If something is smart and blue then it is big. Furry, big things are smart. All kind things are smart. If Bob is kind and Bob is big then Bob is blue. If something is blue then it is round. All smart things are furry.
Charlie is round.
@0: Bob is smart.[(triple1)] Charlie is round.[(triple2)] @1: Bob is furry.[(((triple1) -> rule6))]