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