Bob is cold. Bob is furry. Bob is kind. Bob is white. Erin is rough. Harry is smart. Harry is white. If something is blue then it is cold. If something is white and rough then it is smart.
Harry is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is white.[(triple4)] Erin is rough.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]