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