Impressive!
But reading the queries like below:<p>> Person: IS THERE ANYTHING WHICH IS BIGGER THAN EVERY PYRAMID BUT IS NOT AS WIDE AS THE THING THAT SUPPORTS IT?<p>> Computer: YES, THE BLUE BLOCK.<p>... makes me want to add some punctuation / variable definitions there. Natural human language is really not the best for expressing conplex multilevel relationships. The math-like notation would make that more readable and less error prone.