そこがprologの不純なところだ。

2^32 * 3個のplus節があるように見せかけられない。