The runner in red and yellow has just made it up the hill.
The runner is tired.
The fact that the runner has just made it up the hill doesn't imply he is tired.
exists e1 s1 s2 x1 x2 x3.(n_hill(x3) & n_runner(x1) & a_just(s2) & Manner(e1,s2) & up(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_make(e1) & n_thing(x2) & in(x1,x2) & n_yellow(x2) & a_red(s1) & Theme(s1,x2))
exists s1 x1.(n_runner(x1) & Theme(s1,x1) & a_tired(s1))