This system supports reasoning over explicitly stated facts and logical rules only, where no external or mathematical knowledge is required.

Processing... This can take a few minutes.