Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is round. Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is smart. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. If something is smart and red then it is round. All quiet things are big. All big things are round. If something is quiet and red then it is smart. If something is round and smart then it is nice. Round things are red. All big things are quiet. If Anne is big then Anne is quiet.
Harry is big.