(The following problem can be solved without using Log Con.)
The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American. Prove that Colonel West is a criminal (= a Dodec).
We assume that
Make sure you immediately choose Show Likes and Happy in order to see the trajectory of Nono's (= n 's) missile. You will doubtless be able to see how the predicates work (e.g., cubes are nations, `W' stands for `is a weapon,' etc.).