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