Bob is cold. Bob is rough. Dave is rough. If Bob is cold and Bob is kind then Bob is not red. If someone is big and not young then they are red.
Dave is not rough.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Dave is rough.[(triple3)]