Caliban Puzzle

A puzzle in Logic in which one or more facts must be inferred from a set of given facts.