Anne is red. Bob is rough. Dave is nice. Harry is kind. Smart people are nice. If Anne is smart then Anne is rough. All red people are nice. If Anne is red and Anne is nice then Anne is kind. If Anne is big and Anne is quiet then Anne is red. If someone is big then they are red.
Bob is red.