isit lab2

/*Вариант 9:
Если некто бизнесмен(A), то он любит считать деньги(B). Если он любит считать
деньги, то деньги у него есть(C). Олег мужчина(D). Если он мужчина, то у него
черная машина(E). Если у него есть деньги, то у него дорогая машина(F). Олег
бизнесмен(A). Если дорогая машина, то Феррари(H). Если он выберет черную
машину, то это будет или Феррари, или Волга(I).
Доказать: у Олега черная Феррари.*/

d.
a.
b:-a.
c:-b.
e:-d.
f:-c.
h:-f.
h:-e.
i:-e.
g:-(e,h).