Dave is red. Fiona is kind. Gary is red. All white, green things are kind. If Dave is green then Dave is big. Big, green things are round. All big, blue things are red. Big things are kind. Blue things are green. If Gary is round then Gary is green. If something is big then it is kind.
Fiona is kind.
@0: Dave is red.[(triple1)] Fiona is kind.[(triple2)] Gary is red.[(triple3)]