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