Bob is smart. Erin is green. Gary is not smart. Harry is blue. If something is kind and smart then it is not rough. If Bob is quiet then Bob is not white.
Gary is not smart.
@0: Bob is smart.[(triple1)] Erin is green.[(triple2)] Gary is not smart.[(triple3)] Harry is blue.[(triple4)]