Bob is round. Dave is cold. Erin is nice. All big things are green. If something is smart and big then it is not nice.
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is smart and big then it is not nice.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "-"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Erin is not nice.
False
1
inv-proof
[(triple3)]
("Erin" "is" "nice" "-")
triple3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is round.[(triple1)] Dave is cold.[(triple2)] Erin is nice.[(triple3)]
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3