GoDowntown(adam) ∧ OnFoot(adam)
∀x ((TShirt(x) ∧ Buy(adam, x)) → Blue(x))
GoDowntown(adam) ↔ Shopping(adam)
GoDowntown(adam) → (ByBike(adam) ⊕ OnFoot(adam))
∃x (GoDowntown(adam) ∧ OnFoot(adam) → TShirt(x) ∧ Buy(adam, x))
∃x (TShirt(x) ∧ Buy(adam, x)) 