Jazyk se třemi unárními predikátovými symboly a proměnnou je interpretován na universu následovně: je dělitelné dvěma , je dělitelné třemi , je dělitelné šesti . Označme tuto interpretaci jako .

Jsou dány sentence .