Bob is green. Bob is nice. Bob is red. Bob is round. Bob is white. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Fiona is green. Fiona is red. Fiona is round. Fiona is white. Gary is green. Gary is rough. If Charlie is red and Charlie is nice then Charlie is green. If someone is round and green then they are red. All green people are round.
Charlie is red.