להלן תוצאת ההרצה של הפקודה Is -I במערכת קבצים מסוג Unix:
drwxr-xr-x 2 dana devs 4096 Apr 2 2010 .
-r--rw-r-- 1 ella devs 1234 Jul 24 2011 config.txt
-rw-r---- 1 dana admins 5678 Aug 10 2012 data.log
-rw-rw-r-- 1 finn admins 9101 Jun 1 2013 settings.conf
drwxrwxrwt 3 ella admins 4096 Jul 23 2011 docs
-rw-rw-rw- 1 ella admins 456 Feb 28 2012 docs/readme.txt
-rw-rw-rw- 1 dana admins 456 Feb 28 2012 docs/passwords.txt
ידוע כי:
המשתמשים dana, ella, finn חברים בקבוצה devs
המשתמש finn חבר בקבוצה admins
המשתמשות dana, ella חברות בקבוצה users
טענה 1: ל-ella יש הרשאות למחוק את הקובץ docs/passwords.txt
טענה 2: ל-dana יש הרשאות למחוק את הקובץ docs/readme.txt