Bob is young. All cold, kind people are red. If Bob is young and Bob is cold then Bob is white. All red people are white.
Bob is young.
("Bob" "is" "young" "+")
All cold, kind people are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If Bob is young and Bob is cold then Bob is white.
((("Bob" "is" "young" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "white" "+"))
All red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is not white.
Unknown
inv-rconc
[@2: Bob is white.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is young.[(triple1)]
Bob is young.
("Bob" "is" "young" "+")
triple1