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