our mental representations preserve the structural properties of the linguistic strings in which the premises are stated

all of these

the mechanism of reasoning is inference

we have internalized formal logic