Anne is blue. Anne is not cold. Anne is red. Anne is white. Dave is green. Gary is blue. Gary is rough. All blue people are green. All rough, green people are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All rough, green people are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Gary is rough.
True
1
proof
[(triple7)]
("Gary" "is" "rough" "+")
triple7
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Anne is green.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "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
Gary is young.
True
4
proof
[(((triple7 ((triple6) -> rule1)) -> rule2))]
("Gary" "is" "young" "+")
((triple7 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not young.
False
4
inv-proof
[(((triple7 ((triple6) -> rule1)) -> rule2))]
("Gary" "is" "young" "-")
((triple7 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "young" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Anne is not cold.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Dave is green.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)] @1: Anne is green.[(((triple1) -> rule1))] Gary is green.[(((triple6) -> rule1))] @2: Gary is young.[(((triple7 ((triple6) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2