Bob is cold. Bob is smart. Bob is not white. Quiet people are blue. If someone is white then they are not smart. Smart, white people are green. If someone is blue and rough then they are green. If Bob is rough then Bob is not white. If someone is white then they are cold.
Bob is smart.
@0: Bob is cold.[(triple1)] Bob is not white.[(triple3)] Bob is smart.[(triple2)]