Bob is quiet. Charlie is kind. Charlie is white. If something is kind then it is quiet. If something is nice and big then it is quiet. If Charlie is young then Charlie is white. If Bob is kind and Bob is blue then Bob is big. All white, blue things are young. White, quiet things are nice. Kind, blue things are white. All white, nice things are young.
Bob is kind.
@0: Bob is quiet.[(triple1)] Charlie is kind.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is quiet.[(((triple2) -> rule1))] @2: Charlie is nice.[(((triple3 ((triple2) -> rule1)) -> rule6))] @3: Charlie is young.[(((triple3 ((triple3 ((triple2) -> rule1)) -> rule6)) -> rule8))]