Bob is blue. Bob is furry. Bob is not green. Bob is not kind. Dave is not green. Dave is kind. Dave is red. Dave is not white. Gary is green. Gary is not white. All kind people are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not kind.
("Bob" "is" "kind" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not white.
("Dave" "is" "white" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not white.
("Gary" "is" "white" "-")
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Dave is red.
True
1
proof
[(triple7)]
("Dave" "is" "red" "+")
triple7
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Dave is blue.
True
2
proof
[(((triple6) -> rule1))]
("Dave" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple6) -> rule1))]
("Dave" "is" "blue" "-")
((triple6) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is not green.[(triple3)] Bob is not kind.[(triple4)] Dave is kind.[(triple6)] Dave is not green.[(triple5)] Dave is not white.[(triple8)] Dave is red.[(triple7)] Gary is green.[(triple9)] Gary is not white.[(triple10)] @1: Dave is blue.[(((triple6) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is not kind.
("Bob" "is" "kind" "-")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is not green.
("Dave" "is" "green" "-")
triple5
Dave is not white.
("Dave" "is" "white" "-")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is not white.
("Gary" "is" "white" "-")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1