Drag the claims into the map so that they form a logical argument!
Press "Solve" after you're done to see the solution!