Anne is big. Anne is not furry. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Charlie is not furry. Charlie is red. Charlie is smart. If someone is not nice then they are not big. If Anne is quiet and Anne is not big then Anne is not nice. If Charlie is not smart then Charlie is not furry.
Charlie is not big.