“If Alice does not eat pizza, then Bob does not drink beer”.

There are three types of security experts: Cyber Defenders always say the truth, Crackers always lie, and Lamers may both say the truth or lie.

A herd of sharks is made of 9 sharks ordered by their size. The smaller the shark the faster it swims. Sharks eat whatever they can catch, including other, smaller sharks. However, when a shark attacks a prey it slows down a little bit. Hence the next, faster shark can attack it (bigger sharks are too slow). For instance, if the smaller shark (number 9) attacks a prey, shark number 8 (only) can decide to attack it and so on. A small, fast fish that only the smaller shark can catch passes next to the herd.  

In the woods there are three types of animals that can speak: foxes, snakes, and turtles. The first ones lie only on rainy days, the second ones always lie, the third ones always tell the truth. One day, an explorer talks with four animals. Their statements, reported in the order in which they were said, are:

A flight from Milan to New York costs $700; from Milan to Frankfurt costs $100; from Milan to London $200; from New York to Boston $100; from Frankfurt to Boston $600; from Frankfurt to New York $400; from Frankfurt to London $150; from London to Boston $450.  

Bar is 10 years old; Baz is three times older than Foo, who is younger than Bar. The sum of the age of Bar and Baz is 31.   

In the magic land of MalwareLand, there are only three types of malware samples: Foo, Boo, and Bar. Each type of malware sample can either run on Desktop or Mobile. The fraction of samples living in MalwareLand is the same for each type.