Bob is white. Erin is young. Gary is rough. If something is blue then it is white. If something is furry and white then it is kind. If something is white then it is furry.
Bob is white.
("Bob" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If something is furry and white then it is kind.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Gary is rough.
True
1
proof
[(triple3)]
("Gary" "is" "rough" "+")
triple3
Erin is not young.
False
1
inv-proof
[(triple2)]
("Erin" "is" "young" "-")
triple2
Bob is furry.
True
2
proof
[(((triple1) -> rule3))]
("Bob" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("Bob" "is" "kind" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("Bob" "is" "kind" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Erin is not kind.
Unknown
inv-rconc
[@2: Erin is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Gary is white.
Unknown
rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "+")
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is white.[(triple1)] Erin is young.[(triple2)] Gary is rough.[(triple3)] @1: Bob is furry.[(((triple1) -> rule3))] @2: Bob is kind.[(((((triple1) -> rule3) triple1) -> rule2))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2