Skip to content
Snippets Groups Projects

output file

Merged anum.rehman requested to merge output-07-11-2022 into master
1 file
+ 16
0
Compare changes
  • Side-by-side
  • Inline
+ 16
0
-----------------------------This expression has no cycles-----------------------------
-----------------------------This expression is Non-Redundant-----------------------------
----------------------------- Conflict is resolved -----------------------------
[Implies(brazil & gender & green & male, saved), Implies(gender & green & male, saved), Implies(gender & green & india & male, not_saved), Implies(gender & green & male, saved), Implies(green & high & socialstatus, saved)]
----------------------------- Resolving Incoherence -----------------------------
Safe pair is: (4, 3)
----------------------------- Expression is coherent now -----------------------------
Loading