Bob is rough. Bob is white. Fiona is cold. Fiona is red. Fiona is smart. Gary is rough. Gary is smart. If someone is rough and not red then they are blue.
Gary is white.
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is red.[(triple4)] Fiona is smart.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)]