Anne is not red. Charlie is red. Gary is young. Harry is furry. If someone is young then they are furry. If someone is young and not quiet then they are cold. All furry, quiet people are not cold. Furry people are blue. If Charlie is quiet and Charlie is cold then Charlie is blue. If Anne is young and Anne is quiet then Anne is not cold. Kind people are not red. If someone is blue and not furry then they are kind.
Charlie is not cold.
@0: Anne is not red.[(triple1)] Charlie is red.[(triple2)] Gary is young.[(triple3)] Harry is furry.[(triple4)] @1: Gary is furry.[(((triple3) -> rule1))] Harry is blue.[(((triple4) -> rule4))] @2: Gary is blue.[(((((triple3) -> rule1)) -> rule4))]