% Consider the following facts:
% 1.) Apple and Microsoft make operating systems
% 2.) Mac OS X, Windows, and Linux are operating systems
% 3.) Linux is open source

% Add these facts to the following database at the points
% marked `FILL ME IN`.  Use the atoms 'apple', 'microsoft',
% 'mac_os_x', 'windows', and 'linux' for the respective
% components.

makesOperatingSystem(google).
% FILL ME IN - apple and microsoft

operatingSystem(freebsd).
operatingSystem(openbsd).
% FILL ME IN - mac_os_x, windows, and linux

openSource(freebsd).
openSource(openbsd).
% FILL ME IN - linux