baza reguł eemila: Dana jest baza faktów a,c oraz baza reguł R1: a ∧ c ⇒ d R2: d ⇒ f R3: f ∧ g ⇒ c R4: d ∧ e ⇒ f Czy G należy do bazy faktów (daje się wyprowadzić z ww. bazy)? Rozrysowałam sobie schemat i stoję przed dylematem w regule 3. Znam F oraz C to czy oznacza to, że G mogę uznać za fakt? Czy da się je wyprowadzić?