Anne is blue. Anne is white. Charlie is nice. Charlie is white. Gary is kind. Gary is nice. Gary is quiet. If someone is white and not nice then they are not green. All cold, nice people are not green. If someone is green then they are white. Nice people are white. If Anne is cold then Anne is white. If someone is kind and white then they are not cold.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4 OR ((triple3) -> rule4))] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] @1: Gary is white.[(((triple6) -> rule4))] @2: Gary is not cold.[(((triple5 ((triple6) -> rule4)) -> rule6))]