The rules used by the system are shown below. Although the listing is long, all rules have the same structure, making them easy to understand. They all combine the input variables Uwall, Uroof, Uglass, Wall to Window Ratio, and WinterEnDem, giving the result variable InsulVertSurf. In the rules, the variable names are slightly different, to allow for the constraints of the part of the system that reads knowledge bases.
/*1*/ if u_wall be high_uw and u_roof be high_ur and u_glass be high_ug and wwr be medium_wwr and winter_en_dem be very_very_high_wed then insul_vert_surf := degree1. /*2*/ if u_wall be high_uw and u_roof be high_ur and u_glass be very_high_ug and wwr be low_wwr and winter_en_dem be very_high_wed then insul_vert_surf := degree1. /*3*/ if u_wall be very_high_uw and u_roof be high_ur and u_glass be very_high_ug and wwr be low_wwr and winter_en_dem be very_very_high_wed then insul_vert_surf := degree1. /*4*/ if u_wall be very_high_uw and u_roof be high_ur and u_glass be very_high_ug and wwr be high_wwr and winter_en_dem be very_very_high_wed then insul_vert_surf := degree1. /*5*/ if u_wall be low_uw and u_roof be high_ur and u_glass be high_ug and wwr be very_low_wwr and winter_en_dem be very_high_wed then insul_vert_surf := degree4. /*6*/ if u_wall be very_low_uw and u_roof be high_ur and u_glass be high_ug and wwr be low_wwr and winter_en_dem be very_high_wed then insul_vert_surf := degree4. /*7*/ if u_wall be low_uw and u_roof be high_ur and u_glass be high_ug and wwr be medium_wwr and winter_en_dem be high_wed then insul_vert_surf := degree2. /*8*/ if u_wall be medium_uw and u_roof be high_ur and u_glass be high_ug and wwr be low_wwr and winter_en_dem be high_wed then insul_vert_surf := degree2. /*9*/ if u_wall be high_uw and u_roof be low_ur and u_glass be high_ug and wwr be low_wwr and winter_en_dem be very_high_wed then insul_vert_surf := degree1. /*10*/ if u_wall be low_uw and u_roof be low_ur and u_glass be medium_ug and wwr be very_high_wwr and winter_en_dem be low_wed then insul_vert_surf := degree5. /*11*/ if u_wall be very_low_uw and u_roof be low_ur and u_glass be very_low_ug and wwr be very_high_wwr and winter_en_dem be low_wed then insul_vert_surf := degree5. /*12*/ if u_wall be high_uw and u_roof be high_ur and u_glass be very_high_ug and wwr be low_wwr and winter_en_dem be very_very_high_wed then insul_vert_surf := degree1.