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