Results for Inside machine reasoning