I am trying to formalize the simple aristotelian opening argument from Metaphysics I, 1.

p: men have sensations
q: sensations are knowledge
r: whatever is loved is also desired
s: men love sensations
t (conclusion): men love knowledge

((p & q) & (r & s)) > t
p & q
r & s
t

Am I doing it right?