Gary is blue. Gary is cold. Gary is smart. Green, blue people are cold. All white people are quiet. All quiet people are smart. All white people are smart. If someone is red then they are white. All cold people are red.
Gary is not white.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is smart.[(triple3 OR ((((((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule3))] @1: Gary is red.[(((triple2) -> rule6))] @2: Gary is white.[(((((triple2) -> rule6)) -> rule5))] @3: Gary is quiet.[(((((((triple2) -> rule6)) -> rule5)) -> rule2))]