Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is smart. Gary is white. Gary is young. If something is blue then it is smart. Nice things are blue.
Gary is not white.
@0: Gary is blue.[(triple1 OR ((triple4) -> rule2))] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is smart.[(triple5 OR ((triple1) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7)]