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