Dave is red. Gary is red. Harry is young. If Gary is green and Gary is big then Gary is blue. If Harry is red then Harry is young. Big people are red. If someone is big and furry then they are round. If Dave is red and Dave is green then Dave is furry. If someone is round and not big then they are young. If Harry is furry and Harry is not red then Harry is green. If someone is round and not red then they are blue.
Gary is green.
@0: Dave is red.[(triple1)] Gary is red.[(triple2)] Harry is young.[(triple3)]