Anne is green. Bob is furry. Bob is not red. Bob is smart. Erin is furry. Erin is rough. Gary is green. If Erin is rough then Erin is green. Rough, green people are kind.
Anne is green.
("Anne" "is" "green" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
If Erin is rough then Erin is green.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "green" "+"))
Rough, green people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple5)]
("Erin" "is" "furry" "-")
triple5
Erin is green.
True
2
proof
[(((triple6) -> rule1))]
("Erin" "is" "green" "+")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple6) -> rule1))]
("Erin" "is" "green" "-")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
True
4
proof
[(((triple6 ((triple6) -> rule1)) -> rule2))]
("Erin" "is" "kind" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((triple6 ((triple6) -> rule1)) -> rule2))]
("Erin" "is" "kind" "-")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Anne is kind.
Unknown
rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "kind" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is green.[(triple1)] Bob is furry.[(triple2)] Bob is not red.[(triple3)] Bob is smart.[(triple4)] Erin is furry.[(triple5)] Erin is rough.[(triple6)] Gary is green.[(triple7)] @1: Erin is green.[(((triple6) -> rule1))] @2: Erin is kind.[(((triple6 ((triple6) -> rule1)) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not red.
("Bob" "is" "red" "-")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2