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