For problems that don't require a proof of non-consequence, I I encourage you not to use the visual side of Hyperproof. Simply dream up your own new predicates having just one letter. In each of these two problems you are given a set of premises, which you can assume to be true. Your answer should be a yes or a no for each of these two propositions. Some tennis players are golfers.
All golfers are temperamental.
Some temperamental people are brilliant. Therefore some tennis players are temperamental. Therefore some golfers are brilliant. All Norwegians ski. All those who ski are rugged.