Gary is blue. Gary is nice. Gary is quiet. If Gary is quiet and Gary is cold then Gary is nice. If Gary is kind and Gary is quiet then Gary is nice. If someone is quiet then they are not red. If someone is red then they are not nice. Kind people are cold. Nice people are kind. Cold people are white. If someone is red and not kind then they are white.
Gary is not white.
@0: Gary is blue.[(triple1)] Gary is nice.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is kind.[(((triple2) -> rule6))] Gary is not red.[(((triple3) -> rule3))] @2: Gary is cold.[(((((triple2) -> rule6)) -> rule5))] @3: Gary is white.[(((((((triple2) -> rule6)) -> rule5)) -> rule7))]