%1
shines(sun).

%2
married(Alice, Bob).
married(Bob, Alice).

%3
married(Alice, Bob).
married(Bob, Alice).
dutch(Bob).

%4
hasEngine(X) :- car(X).


%5
hasEngine(X) :- car(X).
hasEngine(X) :- motorbike(X).

%6
car(X) :- driveable(car(X)).
driveable(X) :- car(X), taxPaid(X).
driveable(X) :- car(X), taxExemptionGranted(X).

%7
drive(X) :- has_license(X).
drive(X) :- has_note(X)

%8
tastes_good(X) :- apple(X), red(X), sweet(X)