Bob is quiet. If something is quiet then it is not rough. All green, rough things are nice. If something is green and not rough then it is nice.
Bob is quiet.
("Bob" "is" "quiet" "+")
If something is quiet then it is not rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "-"))
All green, rough things are nice.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is green and not rough then it is nice.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "nice" "+"))
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 rough.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is quiet.[(triple1)] @1: Bob is not rough.[(((triple1) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1