Bob is not big. Bob is cold. Bob is not quiet. If Bob is red and Bob is not furry then Bob is quiet. If Bob is quiet and Bob is not nice then Bob is red.
Bob is not big.
("Bob" "is" "big" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
If Bob is red and Bob is not furry then Bob is quiet.
((("Bob" "is" "red" "+") ("Bob" "is" "furry" "~")) -> ("Bob" "is" "quiet" "+"))
If Bob is quiet and Bob is not nice then Bob is red.
((("Bob" "is" "quiet" "+") ("Bob" "is" "nice" "~")) -> ("Bob" "is" "red" "+"))
Bob is not big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is cold.[(triple2)] Bob is not big.[(triple1)] Bob is not quiet.[(triple3)]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple3