Anne is blue. Bob is blue. Charlie is not white. Gary is white. All smart things are blue. All white, kind things are blue. If something is blue then it is white. All white things are kind. If Gary is round and Gary is not kind then Gary is not cold. If Gary is not white and Gary is not kind then Gary is round. If something is smart and not blue then it is young. White, round things are young.
Gary is smart.
@0: Anne is blue.[(triple1)] Bob is blue.[(triple2)] Charlie is not white.[(triple3)] Gary is white.[(triple4)] @1: Anne is white.[(((triple1) -> rule3))] Bob is white.[(((triple2) -> rule3))] Gary is kind.[(((triple4) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule3)) -> rule4))] Bob is kind.[(((((triple2) -> rule3)) -> rule4))] Gary is blue.[(((triple4 ((triple4) -> rule4)) -> rule2))]