Erin is kind. Erin is nice. Erin is red. Fiona is blue. Fiona is nice. Fiona is red. Harry is big. Harry is blue. Harry is kind. Harry is white. All big, blue people are nice. If someone is white then they are nice. Big, nice people are blue. Red people are nice. If Erin is kind then Erin is red. If someone is green then they are white. If someone is big then they are kind. If someone is kind then they are big.
Harry is not red.