Dave is blue. Dave is green. Gary is blue. Gary is red. Gary is smart. Gary is white. Gary is young. If Gary is cold and Gary is smart then Gary is blue. All white people are green. All white, green people are cold.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is cold and Gary is smart then Gary is blue.
((("Gary" "is" "cold" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "blue" "+"))
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All white, green people are cold.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Gary is not blue.
False
1
inv-proof
[(triple3 OR ((((triple6 ((triple6) -> rule2)) -> rule3) triple5) -> rule1))]
("Gary" "is" "blue" "-")
triple3
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is green.
True
2
proof
[(((triple6) -> rule2))]
("Gary" "is" "green" "+")
((triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "green" "-")
((triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Gary is blue.[(triple3 OR ((((triple6 ((triple6) -> rule2)) -> rule3) triple5) -> rule1))] Gary is red.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Gary is green.[(((triple6) -> rule2))] @2: Gary is cold.[(((triple6 ((triple6) -> rule2)) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
((triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2