Since (region = “eastern”) ⇒ NOT (r

Since (region = “eastern”) ⇒ NOT (region = “northern”) and (region = “northern”) ⇒ NOT (region = “eastern”), X1 and X4 are contradictory and X2 and X3 reduce to the predicates p1 and p2.

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

Kể từ khi (vùng = "đông") ⇒ không (vùng = "Bắc") và (vùng = "Bắc") ⇒ không (vùng = "đông"), X 1 và X 4 là mâu thuẫn và X 2 và X 3 giảm predicates p1 và p2.

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

Vì (khu vực = "miền đông") ⇒ NOT (khu vực = "Bắc") và (vùng = "Bắc") ⇒ NOT (khu vực = "miền đông"), X1 và X4 là mâu thuẫn và X2 và X3 giảm đến vị P1 và p2.