Bob is blue. Bob is cold. Bob is not kind. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Gary is blue. Gary is kind. Gary is not nice. Gary is quiet. Gary is rough. Kind, nice things are not quiet.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple4)] Bob is not kind.[(triple3)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is not nice.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)]