Bob is big. Bob is blue. Bob is smart. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is smart. Fiona is furry. Gary is furry. Gary is green. Gary is quiet. If something is furry and quiet then it is big. Green things are smart. If something is smart and furry then it is red. If Fiona is furry then Fiona is smart. If Dave is blue and Dave is green then Dave is smart. If Fiona is blue and Fiona is green then Fiona is big. If something is furry and red then it is blue. If something is red and blue then it is green.
Bob is red.