Anne is cold. Charlie is furry. Charlie is not smart. Charlie is young. Gary is not cold. Gary is nice. Gary is smart. Gary is not white. Harry is blue. Harry is smart. If someone is white and not smart then they are young. If someone is cold and furry then they are not young. If Harry is young and Harry is white then Harry is cold. White, young people are furry. All young, nice people are not furry. All cold people are nice. All white, furry people are not nice. If Anne is smart then Anne is nice.
Harry is not cold.
@0: Anne is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is not smart.[(triple3)] Charlie is young.[(triple4)] Gary is nice.[(triple6)] Gary is not cold.[(triple5)] Gary is not white.[(triple8)] Gary is smart.[(triple7)] Harry is blue.[(triple9)] Harry is smart.[(triple10)] @1: Anne is nice.[(((triple1) -> rule6))]