criminal(X) :- american(X), weapon(Y), hostile(Z), sold(X, Y, Z).
weapon(X) :- missile(X).
enemy(northkorea, america).
hostile(X) :- enemy(X, america).
owns(northkorea, m1).
missile(m1).
sold(colonelwest, X, northkorea) :- missile(X), owns(northkorea, X).
american(colonelwest).