Dave is nice. Erin is red. If something is kind then it is big. If Erin is kind and Erin is young then Erin is blue. Big things are quiet. If something is blue then it is kind. All big, red things are nice. Quiet things are red. If something is nice then it is big. If something is nice and red then it is blue.
Dave is not big.