Anne is not kind. Anne is quiet. Anne is not white. Bob is blue. Bob is cold. Bob is red. Dave is blue. Dave is not cold. Dave is furry. Dave is not kind. Dave is quiet. Dave is red. Dave is not white. Harry is kind. Harry is white. If Dave is cold and Dave is furry then Dave is blue. If something is cold and kind then it is red. If Bob is red and Bob is not white then Bob is not cold.
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not white.
("Dave" "is" "white" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
If Dave is cold and Dave is furry then Dave is blue.
((("Dave" "is" "cold" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "blue" "+"))
If something is cold and kind then it is red.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If Bob is red and Bob is not white then Bob is not cold.
((("Bob" "is" "red" "+") ("Bob" "is" "white" "~")) -> ("Bob" "is" "cold" "-"))
Dave is quiet.
True
1
proof
[(triple11)]
("Dave" "is" "quiet" "+")
triple11
Dave is not quiet.
False
1
inv-proof
[(triple11)]
("Dave" "is" "quiet" "-")
triple11
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is not kind.[(triple1)] Anne is not white.[(triple3)] Anne is quiet.[(triple2)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is red.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple9)] Dave is not cold.[(triple8)] Dave is not kind.[(triple10)] Dave is not white.[(triple13)] Dave is quiet.[(triple11)] Dave is red.[(triple12)] Harry is kind.[(triple14)] Harry is white.[(triple15)]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple9
Dave is not cold.
("Dave" "is" "cold" "-")
triple8
Dave is not kind.
("Dave" "is" "kind" "-")
triple10
Dave is not white.
("Dave" "is" "white" "-")
triple13
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15