DetectorCat

The protagonist is a smart DetectorCat who can find out the truth by logical thinking

The project is about an algorithm which can do the logical reasoning given the conditions - there is a theft happened and several people are suspected, each of them tell a sentence but one of them is a liar.