Anne is not kind. Anne is not smart. Bob is furry. Bob is not kind. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Gary is furry. Gary is kind. Gary is rough. Gary is round. If Gary is round then Gary is quiet. Quiet, rough things are round. If something is kind and not rough then it is round. Round things are furry. If something is furry and not quiet then it is smart. If something is rough and not round then it is nice.
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is not smart.
("Anne" "is" "smart" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is round then Gary is quiet.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "quiet" "+"))
Quiet, rough things are round.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something is kind and not rough then it is round.
((("something" "is" "kind" "+") ("something" "is" "rough" "~")) -> ("something" "is" "round" "+"))
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is furry and not quiet then it is smart.
((("something" "is" "furry" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "smart" "+"))
If something is rough and not round then it is nice.
((("something" "is" "rough" "+") ("something" "is" "round" "~")) -> ("something" "is" "nice" "+"))
Anne is not kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Anne is smart.
False
1
inv-proof
[(triple2)]
("Anne" "is" "smart" "+")
triple2
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "smart" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is not kind.[(triple1)] Anne is not smart.[(triple2)] Bob is furry.[(triple3 OR ((triple7) -> rule4))] Bob is nice.[(triple5)] Bob is not kind.[(triple4)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Bob is smart.[(triple8)] Gary is furry.[(triple9 OR ((triple12) -> rule4))] Gary is kind.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] @1: Gary is quiet.[(((triple12) -> rule1))]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Anne is not smart.
("Anne" "is" "smart" "-")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple7) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is not kind.
("Bob" "is" "kind" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple12) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple12) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1