Anne is young. Bob is big. Red people are white.
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is young.[(triple1)] Bob is big.[(triple2)]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2