Anne is red. Charlie is blue. Erin is cold. Erin is red. Harry is kind. Harry is red. Harry is smart. If Charlie is blue then Charlie is kind. All white, kind people are green. Green people are smart. If someone is cold then they are kind. All white people are red. If someone is white then they are red.
Harry is not green.
@0: Anne is red.[(triple1)] Charlie is blue.[(triple2)] Erin is cold.[(triple3)] Erin is red.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule1))] Erin is kind.[(((triple3) -> rule4))]