Anne is not furry. Anne is not young. Bob is blue. Bob is cold. Bob is smart. Erin is blue. Erin is kind. Erin is not smart. Harry is furry. Harry is green. Harry is not smart. Harry is young. Kind, furry things are smart. If something is green and not young then it is blue. All kind, young things are green.
Bob is blue.
@0: Anne is not furry.[(triple1)] Anne is not young.[(triple2)] Bob is blue.[(triple3)] Bob is cold.[(triple4)] Bob is smart.[(triple5)] Erin is blue.[(triple6)] Erin is kind.[(triple7)] Erin is not smart.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is not smart.[(triple11)] Harry is young.[(triple12)]