Anne is big. Anne is not round. Anne is smart. Charlie is not red. Charlie is not round. Charlie is smart. Dave is kind. Dave is not round. Harry is cold. Harry is quiet. Harry is red. Harry is smart. All round, smart people are cold. If someone is not big then they are smart. Big, quiet people are not round. If someone is big and cold then they are red. If someone is not red then they are quiet. If someone is round and not cold then they are smart. If someone is not cold and not smart then they are not red. If Anne is not quiet and Anne is not red then Anne is round.
Dave is big.