A criterion for Artificial General Intelligence: hypothetic-deductive reasoning, tested on ChatGPT. - Louis Vervoort; Vitaliy Mizyakov; Anastasia Ugleva (CoRR, 2023)