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.