Anne is not cold. Anne is kind. Anne is white. Erin is blue. Erin is kind. Erin is smart. Erin is not white. Fiona is cold. Fiona is not red. Harry is not cold. Harry is not kind. Harry is not red. If Erin is smart and Erin is red then Erin is blue. White, smart things are cold. Kind, smart things are cold. If something is cold and not blue then it is white. Red, blue things are kind. Cold things are kind.
Fiona is young.
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Anne is white.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is not white.[(triple7)] Erin is smart.[(triple6)] Fiona is cold.[(triple8)] Fiona is not red.[(triple9)] Harry is not cold.[(triple10)] Harry is not kind.[(triple11)] Harry is not red.[(triple12)] @1: Erin is cold.[(((triple5 triple6) -> rule3))] Fiona is kind.[(((triple8) -> rule6))]