Anne is red. Bob is smart. If Bob is smart then Bob is red. If Anne is furry then Anne is smart. Big, smart things are quiet. All furry things are red. Green, big things are smart. If Anne is smart then Anne is furry.
Bob is smart.