>>549
別に4色問題のような難解な例を持ち出す必要は無い。>>533の課題に対する>>542の
数学的表記(いわゆる数式)を、コンピュータが直接解釈できる表現に書き換えるだけの事なのだけど。
たとえば、「ある水素分子Hが存在する」を「水素分子(H)」と記述する規則とし、
同様に酸素分子については「酸素分子(O)」と、それらの結合関係を「水(H1, H2, O)」とすれば、
>>533の集合は、以下のように外延的に記述できる。

　水素分子(h1). 水素分子(h2). 水素分子(h3). 水素分子(h4). 水素分子(h5). 水素分子(h6). -- 以下省略
　酸素分子(o1). 酸素分子(o2). 酸素分子(o3). 酸素分子(o4). 酸素分子(o5). 酸素分子(o6). -- 以下省略
　水(h1, h2, o1). 水(h3, h4, o2). 水(h5, h6, o3). 水(h7, h8, o4). 水(h9, h10, o5). -- 以下省略

つまり、数理論理学の初歩の初歩である「命題論理だけ」で単純に記述できる。
ここは、あっさり返答してきて「つまらなすぎる」という言葉を期待していただけに、残念だったよ。