Anne is big. Anne is round. Bob is nice. Bob is red. Bob is round. Gary is blue. Harry is red. If someone is nice then they are green. All red people are nice. If someone is blue then they are smart. If someone is big and round then they are nice. If someone is blue and red then they are green. Red, green people are nice.
Anne is not big.