Bob is quiet. Erin is rough. Harry is not green. If something is green and not rough then it is not smart. All blue, quiet things are smart. If something is rough and quiet then it is young.
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is not green.
("Harry" "is" "green" "-")
If something is green and not rough then it is not smart.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "smart" "-"))
All blue, quiet things are smart.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If something is rough and quiet then it is young.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Bob is quiet.
True
1
proof
[(triple1)]
("Bob" "is" "quiet" "+")
triple1
Bob is not quiet.
False
1
inv-proof
[(triple1)]
("Bob" "is" "quiet" "-")
triple1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is quiet.[(triple1)] Erin is rough.[(triple2)] Harry is not green.[(triple3)]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Harry is not green.
("Harry" "is" "green" "-")
triple3