KB in English*

*prices were adjusted to fit with prolog price rule

Facts about Adidas shoes

ADIDAS Yeezy_Boost 350 V2 is a grey shoe with a price of $324.
ADIDAS Ultraboost_UncagedParley is a blue shoe with a price of $400.
ADIDAS NMD_Datamosh is an orange shoe with a price of $200.
ADIDAS Yeezy_Boost 750 is a grey shoe with a price of $130.

Facts about Nike shoes

Nike Air Jordan 1_Retrohigh is a red shoe with a price of $295.
Nike SB_Dunk Low Paris is a special shoe with a price of $300.
Nike Air Force 1_Low is a yellow shoe with a price of $800.
Nike Air Jordan 1_Retrohigh is a blue shoe with a price of $100.

Facts about Vans shoes

VANS SK8Hi is a black shoe with a price of $540.
VANS SK8Hi is a white shoe with a price of $80.
VANS OldSkool is a white shoe with a price of $85.
VANS Authentic is a blue shoe with a price of $500.

Rules for listing Adidas and Nike and Vans Shoes

if you sequentially, exhaustively, grab an Adidas shoe and write its name
then you will have written the names of all the Adidas shoes.

if you sequentially, exhaustively, grab an Nike shoe and write its name
then you will have written the names of all the Nike shoes.

if you sequentially, exhaustively, grab a Vans shoe and write its name
then you will have written the names of all the Vans shoes.

Rules for finding shoes of grey or blue color

if a shoe is grey then its name represents a grey shoe
if a shoe is blue then its name represents a blue shoe

Rules for finding shoes that are cheap or expensive (including tax)

if the total price of a shoe is less than or equal to $100 then its name represents a cheap shoe.
if the total price of a shoe is greater than $100 then its name represents an expensive shoe.

Total price calculation

if an adidas shoe has price P which determines its total price T then it is a total price of total T.
if an nike shoe has price P which determines its total price T then it is a total price of total T.
if a vans shoe has price P which determines its total price T then it is a total price of total T.