Input- the liar girl if girl says she is virgin output - not virgin if she says not virgin out put -virgin Input - not liar girl if she says she is virgin output-virgin if she says notvirgin output -notvirgin algorithm end This is the absolutely true algorithm.