Dave is smart. Harry is white. Harry is young. White people are blue. All white people are young. Young, blue people are smart. Blue people are nice. White, blue people are nice. Kind people are smart.
Dave is smart.
@0: Dave is smart.[(triple1)] Harry is white.[(triple2)] Harry is young.[(triple3 OR ((triple2) -> rule2))] @1: Harry is blue.[(((triple2) -> rule1))] @2: Harry is nice.[(((((triple2) -> rule1)) -> rule4) OR ((triple2 ((triple2) -> rule1)) -> rule5))] Harry is smart.[(((triple3 ((triple2) -> rule1)) -> rule3) OR ((((triple2) -> rule2) ((triple2) -> rule1)) -> rule3))]