Gary is blue. If something is nice and smart then it is not white. If something is green and nice then it is not big. If something is green then it is not big. If something is blue then it is nice. All white things are nice. If something is smart then it is young. If Gary is nice then Gary is young. If Gary is smart and Gary is green then Gary is young.
Gary is nice.
@0: Gary is blue.[(triple1)] @1: Gary is nice.[(((triple1) -> rule4))] @2: Gary is young.[(((((triple1) -> rule4)) -> rule7))]