The conversion model of formal reasoning was examined for its ability to predict the decisions made by college students when solving concrete and abstract syllogisms. Results supported the model's contentions that reasoner's decisions reflect natural language processes in the encoding of syllogistic premises, and follow rationally from understanding of the problem's materials. (Author/GDC)