If the database includes the factth

If the database includes the fact

the proof is trivial. If, however, the database contains the following fact and
inference rule,

Kết quả (Việt) 1:

Nếu cơ sở dữ liệu bao gồm thực tếbằng chứng là tầm thường. Nếu, Tuy nhiên, cơ sở dữ liệu có chứa một thực tế vàquy tắc suy luận,

Kết quả (Việt) 2:

Nếu cơ sở dữ liệu bao gồm một thực tế chứng minh là tầm thường. Tuy nhiên, nếu cơ sở dữ liệu chứa các thực tế sau và quy tắc suy luận,