english: This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
non_english: Bu, büyük mantıkçı ve bulmaca yaratıcısı Raymond Smullyan tarafından icat edilen zorlayıcı bir mantık örneğidir.