Anne is kind. Charlie is cold. Gary is young. Harry is kind. If someone is cold and big then they are quiet. Young people are not green. All cold people are young. Green, quiet people are not kind. If someone is white then they are kind. If someone is cold and not young then they are not white.
Charlie is not green.
@0: Anne is kind.[(triple1)] Charlie is cold.[(triple2)] Gary is young.[(triple3)] Harry is kind.[(triple4)] @1: Charlie is young.[(((triple2) -> rule3))] Gary is not green.[(((triple3) -> rule2))] @2: Charlie is not green.[(((((triple2) -> rule3)) -> rule2))]