Anne is blue. Anne is quiet. Charlie is white. All kind, smart things are green. If something is white then it is kind. If something is green and white then it is round. All quiet things are blue. If something is white and kind then it is round. If Charlie is white and Charlie is quiet then Charlie is blue. All smart things are round. Round things are green.
Charlie is not kind.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule4))] Anne is quiet.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is kind.[(((triple3) -> rule2))] @2: Charlie is round.[(((triple3 ((triple3) -> rule2)) -> rule5))] @3: Charlie is green.[(((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule8))]