Bob is red. Charlie is big. Fiona is white. Gary is big. Rough things are white. All red, kind things are green. All red, kind things are green. All big, red things are green. If something is smart then it is white. All kind, green things are rough.
Gary is not rough.
@0: Bob is red.[(triple1)] Charlie is big.[(triple2)] Fiona is white.[(triple3)] Gary is big.[(triple4)]