Formalizing the following two sentences predicate logically:

1. Nobody likes warm beer (Let B(x) stand for "x like warm beer")

2. Everyone likes someone, and someone likes all (Let T (x, y) stand for "x likes y")

Is this right thinking?

(¬∃x)B(x)

((∀xy)T(x,y))/\((yx∀)T(x,y))

Im dont know how to put it together mathematically correct.