Bob is blue. Bob is cold. Bob is rough. Bob is white. Erin is cold. Erin is rough. Erin is white. Fiona is blue. Fiona is cold. Fiona is rough. Fiona is white. Gary is blue. Gary is red. Gary is rough. Gary is white. If Bob is big and Bob is cold then Bob is red.
Bob is not red.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is rough.[(triple10)] Fiona is white.[(triple11)] Gary is blue.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)]