Dave is blue. Harry is kind. If Harry is green and Harry is white then Harry is red. Red things are kind. All blue things are red. If something is furry and smart then it is white. White, blue things are smart. All smart, red things are blue.
Dave is red.
@0: Dave is blue.[(triple1)] Harry is kind.[(triple2)] @1: Dave is red.[(((triple1) -> rule3))] @2: Dave is kind.[(((((triple1) -> rule3)) -> rule2))]