Comment by mjewkes

Notably, if you ask it to transform the statements to formal logic, you get a correct response! This stuff is truly magic.

https://chat.openai.com/share/81e45fef-a72b-4258-98d6-5c8190...