rule-1 :- рдЬреЛ рд▓реЗрдбреА рдореЗрдВрдмрд░ рдХреЗ рд╕рд╛рде рдЖрдкрдХреА рдореБрд▓рд╛рдХрд╛рдд рд╣реЛрдЧреА рд╡рд╣реАрдВ рд▓реЗрдбреА рдореЗрдВрдмрд░ рдЖрдкрдХреЛ рдХреИрд╢ рдореЗрдВ рдпрд╛ рдмреИрдВрдХ рдЯреНрд░рд╛рдВрд╕рдлрд░ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЖрдкрдХреЛ рдкреЗрдореЗрдВрдЯ рдХрд░реЗрдВрдЧреА | рджреЛрдиреЛрдВ рддрд░реАрдХреЗ рд╕реЗ рдЖрдк рдкреИрд╕реЗ (тВ╣)рд▓реЗ рд╕рдХрддреЗ рд╣реИрдВред yes
rule-2 :- рдЖрдк рдЬрд┐рддрдиреА рдмрд╛рд░ рдЪрд╛рд╣реЗ рдЙрдирдХреЗ рд╕рд╛рде рдореБрд▓рд╛рдХрд╛рдд рдпрд╛ рдореАрдЯрд┐рдВрдЧ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ рдпрд╣ рдореАрдЯрд┐рдВрдЧ рдЖрдкрдХреЗ рд╢рд╣рд░ рдореЗрдВ рд╣реЛ рд╕рдХрддреА рд╣реИ рдпрд╛ рдЖрдкрдХреЗ рдорд░реНрдЬреА рд╕реЗ рдХрд┐рд╕реА рднреА рдЬрдЧрд╣ рдЖрдк рдореАрдЯрд┐рдВрдЧ рд░рдЦрд╡рд╛ рд╕рдХрддреЗ рд╣реИрдВред
rule-3 :- рдореЗрдВрдмрд░рд╢рд┐рдк рдЪрд╛рд░реНрдЬ рдХреЗ рдЕрд▓рд╛рд╡рд╛ рдФрд░ рдХреЛрдИ рдЕрддрд┐рд░рд┐рдХреНрдд рдЪрд╛рд░реНрдЬ рдирд╣реАрдВ рд▓рдЧрддрд╛ рд╣реИред рдЖрдк рдирд┐рд╢реНрдЪрд┐рдВрдд рд╕реЗ рд╣рдорд╛рд░реЗ рдбреЗрдЯрд┐рдВрдЧ рд╡реЗрдмрд╕рд╛рдЗрдЯ рдореЗрдВ рд░рдЬрд┐рд╕реНрдЯреНрд░реЗрд╢рди рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред
rule-4 :- рдЬрд┐рд╕ рджрд┐рди рдЖрдк рдореЗрдВрдмрд░рд╢рд┐рдк рдХреЛрдб рд▓реЗрддреЗ рд╣реИрдВ рдЙрд╕реА рджрд┐рди рд╕реЗ рдЖрдк рдореАрдЯрд┐рдВрдЧ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ рдпрд╛ рдЖрдк рдмрд╛рддрдЪреАрдд рд╢реБрд░реВ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред