Anne is white. Charlie is green. Gary is kind. If Gary is kind then Gary is blue. If Anne is white then Anne is not quiet. If Charlie is green then Charlie is not quiet.
Anne is white.
("Anne" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If Gary is kind then Gary is blue.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "blue" "+"))
If Anne is white then Anne is not quiet.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "quiet" "-"))
If Charlie is green then Charlie is not quiet.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "quiet" "-"))
Gary is kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple3)]
("Gary" "is" "kind" "-")
triple3
Gary is blue.
True
2
proof
[(((triple3) -> rule1))]
("Gary" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Anne is quiet.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Anne is white.[(triple1)] Charlie is green.[(triple2)] Gary is kind.[(triple3)] @1: Anne is not quiet.[(((triple1) -> rule2))] Charlie is not quiet.[(((triple2) -> rule3))] Gary is blue.[(((triple3) -> rule1))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
((triple2) -> (rule3 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1