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