Anne is blue. Bob is kind. Dave is kind. Harry is white. All green, kind things are not blue. If Bob is nice and Bob is not kind then Bob is green. If something is nice then it is young. If something is young then it is not quiet. If Dave is young then Dave is kind. If something is blue then it is white. Nice things are white. If Harry is white and Harry is nice then Harry is not blue.
Anne is blue.
("Anne" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
All green, kind things are not blue.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "-"))
If Bob is nice and Bob is not kind then Bob is green.
((("Bob" "is" "nice" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "green" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is young then it is not quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "-"))
If Dave is young then Dave is kind.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "kind" "+"))
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If Harry is white and Harry is nice then Harry is not blue.
((("Harry" "is" "white" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "blue" "-"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "young" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Bob is kind.[(triple2)] Dave is kind.[(triple3)] Harry is white.[(triple4)] @1: Anne is white.[(((triple1) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1