Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is white. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is white. If Erin is quiet and Erin is round then Erin is green. All round, quiet things are green. If something is nice and red then it is quiet.
Dave is not nice.