Anne is red. Charlie is white. Erin is not young. Gary is red. If something is red and not white then it is not blue.
Anne is red.
("Anne" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is red.
("Gary" "is" "red" "+")
If something is red and not white then it is not blue.
((("something" "is" "red" "+") ("something" "is" "white" "~")) -> ("something" "is" "blue" "-"))
Gary is red.
True
1
proof
[(triple4)]
("Gary" "is" "red" "+")
triple4
Charlie is not white.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "white" "-")
triple2
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is red.[(triple1)] Charlie is white.[(triple2)] Erin is not young.[(triple3)] Gary is red.[(triple4)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is not young.
("Erin" "is" "young" "-")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4