Bob is not big. Bob is blue. Bob is kind. Bob is nice. Bob is quiet. Dave is kind. Erin is green. Erin is not kind. Gary is green. Gary is red. If Erin is kind then Erin is green. Green people are red. If someone is red then they are nice.
Bob is not red.