Determine the Figures

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Given a board with figures and true or false statements about them, determine the figures.
[more]
Contributed by: Izidor Hafner (May 2014)
Open content licensed under CC BY-NC-SA
Snapshots
Details
According to p. 3 of [2], the most distinctive feature of such problems is that the information comes in two different forms: graphical and sentential.
References
[1] J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.
[2] J. Barwise and J. Etchemendy, Hyperproof, Stanford, CA: CSLI Publications, 1994.
Permanent Citation
"Determine the Figures"
http://demonstrations.wolfram.com/DetermineTheFigures/
Wolfram Demonstrations Project
Published: May 6 2014