I need to formalize this sentence and decide whether the logical consequence applies
Tom drove either by bus (b) or tram (t). If he drove by tram (t) or by car (a) then he arrived late (p) and did not hear the lecture (v). He did not arrive late (non p). It follows that he rode the tram (t) or missed the lecture (v)
I create this:
$T \vee B$, $(T \vee A)\Rightarrow(P \wedge V)$, $\neg P$, ? $T \vee V$
with the help of a semantic tree, I decided that is not consequence. Is that right?