Anne is furry. Dave is not red. If Anne is white then Anne is big. If Anne is red then Anne is big. All rough, big things are red. If something is furry and not rough then it is white. Big, white things are not smart. Smart things are big.
Dave is rough.