A Minimal Model of Transitive Inference

This chapter concerns problems of a general type exemplified by this syllogism:

Mighty Joe Young is mightier than King Kong

King Kong is mightier than Magilla Gorilla

Who is mightiest? (Sternberg, 1980)