Charlie is kind. If something is smart and kind then it is young. If something is quiet then it is young. Kind, young things are blue. If something is white and round then it is kind. All kind things are smart. If something is quiet then it is not white.
Charlie is young.
@0: Charlie is kind.[(triple1)] @1: Charlie is smart.[(((triple1) -> rule5))] @2: Charlie is young.[(((((triple1) -> rule5) triple1) -> rule1))] @3: Charlie is blue.[(((triple1 ((((triple1) -> rule5) triple1) -> rule1)) -> rule3))]