Anne is nice. Anne is quiet. Anne is red. Bob is not blue. Bob is quiet. Bob is red. Bob is not young. Dave is not big. Dave is not quiet. Harry is kind. All kind, quiet things are young. If something is kind and not nice then it is quiet. If something is nice and not young then it is not blue.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not young.
("Bob" "is" "young" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Harry is kind.
("Harry" "is" "kind" "+")
All kind, quiet things are young.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is kind and not nice then it is quiet.
((("something" "is" "kind" "+") ("something" "is" "nice" "~")) -> ("something" "is" "quiet" "+"))
If something is nice and not young then it is not blue.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "-"))
Bob is red.
True
1
proof
[(triple6)]
("Bob" "is" "red" "+")
triple6
Bob is not red.
False
1
inv-proof
[(triple6)]
("Bob" "is" "red" "-")
triple6
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Bob is not blue.[(triple4)] Bob is not young.[(triple7)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Dave is not big.[(triple8)] Dave is not quiet.[(triple9)] Harry is kind.[(triple10)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
triple4
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Dave is not big.
("Dave" "is" "big" "-")
triple8
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10