Anne is cold. Anne is furry. Anne is not green. Anne is kind. Anne is nice. Anne is rough. Bob is blue. Bob is not cold. Bob is green. Bob is rough. All blue, furry things are kind.
Bob is not kind.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is not green.[(triple3)] Anne is rough.[(triple6)] Bob is blue.[(triple7)] Bob is green.[(triple9)] Bob is not cold.[(triple8)] Bob is rough.[(triple10)]