pʃɨkwˈadɛm tfʲɛrdʑˈɛɲʲa, ktˌurɛ zɔstˈawɔ dˌɔvʲɛdʑˈɔnɛ dɔpʲˈɛrɔ pʃˈɛs ˌatˌɛpˈɛ jˈɛst "alɡˈɛbrɨ rɔbbʲˈinsa sɔ̃ bˌɔɔlˈɔfskʲɛ".
Przykładem twierdzenia, które zostało dowiedzione dopiero przez ATP jest "Algebry Robbinsa są boolowskie".