Anne is nice. Erin is young. Gary is blue. Cold people are nice. Kind people are red. All nice people are red. If someone is green and not kind then they are cold. Red people are green. If Gary is blue then Gary is nice. If Anne is young and Anne is kind then Anne is not nice. If Erin is cold and Erin is not nice then Erin is blue.
Gary is not green.
@0: Anne is nice.[(triple1)] Erin is young.[(triple2)] Gary is blue.[(triple3)] @1: Anne is red.[(((triple1) -> rule3))] Gary is nice.[(((triple3) -> rule6))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule5))] Gary is red.[(((((triple3) -> rule6)) -> rule3))] @3: Gary is green.[(((((((triple3) -> rule6)) -> rule3)) -> rule5))]