Сколько дизъюнктов входит в множество дизъюнктов для доказательства теоремы методом резолюции на основе имеемых фактов и правил, есил известно, чтоЯблоко красное и ароматноеГруша большая
Если яблоко красное, то яблоко вкусное,Если груша большая, то она твердаяЕсли яблоко ароматное, то оно вкусноеНеобходимо доказать, что яблоко вкусное