Dave is white. Harry is blue. Harry is white. If someone is white and kind then they are blue. If someone is white and rough then they are smart. All young, white people are blue. All white people are kind. All kind people are rough. All blue people are young.
Dave is not kind.
@0: Dave is white.[(triple1)] Harry is blue.[(triple2 OR ((triple3 ((triple3) -> rule4)) -> rule1))] Harry is white.[(triple3)] @1: Dave is kind.[(((triple1) -> rule4))] Harry is kind.[(((triple3) -> rule4))] Harry is young.[(((triple2) -> rule6) OR ((((triple3 ((triple3) -> rule4)) -> rule1)) -> rule6))] @2: Dave is blue.[(((triple1 ((triple1) -> rule4)) -> rule1))] Dave is rough.[(((((triple1) -> rule4)) -> rule5))] Harry is rough.[(((((triple3) -> rule4)) -> rule5))] @3: Dave is smart.[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule2))] Dave is young.[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule6))] Harry is smart.[(((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2))]