If Thor is not happy, then no bridge will be broken.
Peter Parker is a either a superhero or a civilian. The Hulk is a destroyer. The Hulk wakes up when he is angry. If the Hulk wakes up, then he will break a bridge. Thor is a god. Thor will break a bridge when he is happy. A god is not a destroyer and a destroyer is not a god. Peter Parker wears a uniform when he is a superhero. Peter Parker is not a civilian if and only if a destroyer is breaking a bridge. If Thor is happy, the Hulk is angry.
Superhero(peter) ⊕ Civilian(peter) Destroyer(hulk) Angry(hulk) → Wake(hulk) Wake(hulk) → BreakBridge(hulk) God(thor) Happy(thor) → BreakBridge(thor) ∀x (God(x) ↔ ¬Destroyer(x)) Superhero(peter) → WearUniform(peter) ∀x (¬Civilian(peter) ↔ (Destroyer(x) ∧ BreakBridge(x))) Happy(thor) → Angry(hulk)