Anne is smart. Anne is white. Bob is furry. Bob is green. Bob is white. Gary is not green. Gary is kind. Gary is not nice. Gary is rough. Gary is not white. If someone is furry then they are not kind. If someone is nice and not furry then they are kind. If Gary is rough and Gary is not smart then Gary is kind. All kind people are rough. If someone is white and not furry then they are nice. If Anne is smart and Anne is furry then Anne is green. If someone is furry and not nice then they are not green. If someone is furry then they are green.
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not white.
("Gary" "is" "white" "-")
If someone is furry then they are not kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
If someone is nice and not furry then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "+"))
If Gary is rough and Gary is not smart then Gary is kind.
((("Gary" "is" "rough" "+") ("Gary" "is" "smart" "~")) -> ("Gary" "is" "kind" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is white and not furry then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "nice" "+"))
If Anne is smart and Anne is furry then Anne is green.
((("Anne" "is" "smart" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "green" "+"))
If someone is furry and not nice then they are not green.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "green" "-"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Anne is white.
True
1
proof
[(triple2)]
("Anne" "is" "white" "+")
triple2
Gary is white.
False
1
inv-proof
[(triple10)]
("Gary" "is" "white" "+")
triple10
Bob is not kind.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "green" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule8))] Bob is white.[(triple5)] Gary is kind.[(triple7)] Gary is not green.[(triple6)] Gary is not nice.[(triple8)] Gary is not white.[(triple10)] Gary is rough.[(triple9 OR ((triple7) -> rule4))] @1: Bob is not kind.[(((triple3) -> rule1))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple3) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is not green.
("Gary" "is" "green" "-")
triple6
Gary is not nice.
("Gary" "is" "nice" "-")
triple8
Gary is not white.
("Gary" "is" "white" "-")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
((triple7) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is not kind.
("Bob" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1