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