Anne is not nice. Anne is quiet. Bob is furry. Bob is not nice. Bob is quiet. Bob is rough. Gary is nice. All quiet, rough things are smart. If Gary is furry then Gary is smart.
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All quiet, rough things are smart.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If Gary is furry then Gary is smart.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "smart" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Bob is not quiet.
False
1
inv-proof
[(triple5)]
("Bob" "is" "quiet" "-")
triple5
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is not nice.[(triple1)] Anne is quiet.[(triple2)] Bob is furry.[(triple3)] Bob is not nice.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Gary is nice.[(triple7)] @1: Bob is smart.[(((triple5 triple6) -> rule1))]
Anne is not nice.
("Anne" "is" "nice" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not nice.
("Bob" "is" "nice" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
((triple5 triple6) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1