Type a statement and discover what other statements can be deduced from it.