Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is young. Bob is kind. Bob is not young. Quiet things are green. All rough things are green. If something is young and kind then it is not green. If Bob is kind and Bob is rough then Bob is quiet. All kind things are blue. All kind, green things are not blue.
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not young.
("Bob" "is" "young" "-")
Quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is young and kind then it is not green.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
If Bob is kind and Bob is rough then Bob is quiet.
((("Bob" "is" "kind" "+") ("Bob" "is" "rough" "+")) -> ("Bob" "is" "quiet" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All kind, green things are not blue.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "-"))
Anne is young.
True
1
proof
[(triple5)]
("Anne" "is" "young" "+")
triple5
Bob is young.
False
1
inv-proof
[(triple7)]
("Bob" "is" "young" "+")
triple7
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is green.[(triple1 OR ((triple2) -> rule1) OR ((triple4) -> rule2))] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Bob is kind.[(triple6)] Bob is not young.[(triple7)] @1: Bob is blue.[(((triple6) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple4) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
((triple6) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1