Anne is not nice. Charlie is green. Erin is green. Gary is rough. If Gary is rough and Gary is cold then Gary is blue.
Anne is not nice.
("Anne" "is" "nice" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Gary is rough and Gary is cold then Gary is blue.
((("Gary" "is" "rough" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "blue" "+"))
Anne is not nice.
True
1
proof
[(triple1)]
("Anne" "is" "nice" "-")
triple1
Erin is not green.
False
1
inv-proof
[(triple3)]
("Erin" "is" "green" "-")
triple3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- 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 not nice.[(triple1)] Charlie is green.[(triple2)] Erin is green.[(triple3)] Gary is rough.[(triple4)]
Anne is not nice.
("Anne" "is" "nice" "-")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4