Transform the informal argument below into predicate logic. Then give a formal proof.

All Targaryen are linked to some Dragons. No Dragon is linked to a Stark. Therefore, no Targaryen is a Stark. (You have to prove If x is a Targaryen then x is not a Stark)

Assume the following:

T(x): x is a Targaryen;

D(x): x is a Dragon;

S(x): x is a Stark;

LI(x,y): x is linked to y

(IMPORTANT; USE SOLUTION TO #7 FOUND HERE: http://mypage.iu.edu/~edizquie/Q250Fall2012/Excercises/Unit1Exam.Answers.pdf)

(Reference given solution by giving clear steps and solutions to the asked problem. Try and complete the problem with as few steps as possible, without substituting in the variable a and b like in the given solution)