In a magical swamp there are two species of talking amphibians: toads, whose statements are always true, and frogs, whose statements are always false. Four amphibians, Brian, Chris, LeRoy, and Mike live together in this swamp, and they make the following statements. Brian: "Mike and I are different species." Chris: "LeRoy is a frog." LeRoy: "Chris is a frog." Mike: "Of the four of us, at least two are toads." How many of these amphibians are frogs?
Start with Brian. If he is a toad, he tells the truth, hence Mike is a frog. If Brian is a frog, he lies, hence Mike is a frog, too. Thus Mike must be a frog. As Mike is a frog, his statement is false, hence there is at most one toad. As there is at most one toad, at least one of Chris and LeRoy is a frog. But then the other one tells the truth, and therefore is a toad. Hence we must have one toad and $\fbox{3}$ frogs.