Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is round. Gary is smart. Gary is white. If someone is kind and smart then they are green. Smart, round people are white.
Gary is round.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple3 OR ((triple4 triple6) -> rule1))] Gary is kind.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple6 triple5) -> rule2))]