Anne is furry. Bob is blue. Bob is green. Erin is kind. Erin is rough. Gary is blue. Gary is white. Blue things are green.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is white.
("Gary" "is" "white" "+")
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("Bob" "is" "green" "-")
triple3
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Gary is green.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "green" "+")
((triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple6) -> rule1))]
("Gary" "is" "green" "-")
((triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is furry.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule1))] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] @1: Gary is green.[(((triple6) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
((triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1