Anne is cold. Anne is red. Bob is nice. Erin is quiet. Harry is big. Harry is cold. Harry is kind. If something is red then it is nice. Big, nice things are cold. If Erin is round and Erin is red then Erin is quiet. Cold things are nice. If something is nice and red then it is cold. Kind things are big. If something is quiet and cold then it is not red. If Erin is quiet and Erin is not round then Erin is kind. All big things are nice.
Erin is not nice.