Bob is blue. Charlie is blue. If Bob is quiet and Bob is young then Bob is kind. If Charlie is green then Charlie is white. Kind people are green. All blue people are kind. Green, quiet people are white. If someone is smart then they are young.
Charlie is kind.
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple2)] @1: Bob is kind.[(((triple1) -> rule4))] Charlie is kind.[(((triple2) -> rule4))] @2: Bob is green.[(((((triple1) -> rule4)) -> rule3))] Charlie is green.[(((((triple2) -> rule4)) -> rule3))] @3: Charlie is white.[(((((((triple2) -> rule4)) -> rule3)) -> rule2))]