legenda: @=voor alle, &=EN, ~=NIET
1. De KB staat in de verkeerde volgorde en alpha, beta en gamma moeten in 1 fact staan. Het algoritme probeert oneindig lang te matchen. Een workaround is om dit als KB te nemen:
alpha(C) & beta(C) & gamma(C), alpha(x) & beta(x) & gamma(x) --> delta(x)

8.
@x ~Brother(I, x) & ~Sister(I, x)
Father(x, y) & Father(y, M)
--------------------------------
Father(I, M)

Dus De ik-persoon is zelf de vader van "that man". Dit is moeilijk te bantvoorden omdat het raar is dat iemand referreert naar zijn zoon als "that man".

9. 
1. Goals = Criminal(West)
2. Goals = Criminal(West), American(West)
3. Goals = Criminal(West), American(West), Weapon(y)
4. Goals = Criminal(West), American(West), Weapon(y), Sells(West, M1, z)
5. Goals = Criminal(West), American(West), Weapon(y), Sells(West, M1, z), Hostile(Nono)