A hen, a dog, and a cat are stolen. Three suspects are arrested named Robin, Steve, and Tim. The police are sure that all of them stole one of the animals but they don't know who stole which animal.
Sherlock Holmes is appointed to identify and is provided with the following statements from the investigation.
Robin - Tim stole the hen
Steve - Tim stole the dog
Tim - Both Robin and Steve are lying. I neither stole a hen nor a dog.
Sherlock is somehow able to deduce that the man who stole the cat is telling a lie and the man who stole the hen is telling truth.
Find a 9-digit number, which you will gradually round off starting with units, then tenth, hundred etc., until you get to the last numeral, which you do not round off. The rounding alternates (up, down, up ...). After rounding off 8 times, the final number is 500000000. The original number is commensurable by 6 and 7, all the numbers from 1 to 9 are used, and after rounding four times the sum of the not-rounded numerals equals 24.
