Premise: That's bolted too.

Hypothesis: It wasn't bolted.
Relation: contradiction