Charlie is white. Fiona is red. Gary is white. Harry is rough. If Charlie is smart then Charlie is red. Quiet, rough things are big. All smart, rough things are white.
Gary is red.
@0: Charlie is white.[(triple1)] Fiona is red.[(triple2)] Gary is white.[(triple3)] Harry is rough.[(triple4)]