In question 5, is "But this is not a sustainable, long term solution" considered a major premise or sub-conclusion?

How would we express this quantifier in Lawgic?

Are we able to write Lawgic on the actual test? Like a scratch piece of paper?