Charlie is not green. Erin is red. Erin is white. If Charlie is green then Charlie is big. If something is white and not red then it is green. If Erin is white and Erin is rough then Erin is not big.
Charlie is not green.
("Charlie" "is" "green" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
If Charlie is green then Charlie is big.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "big" "+"))
If something is white and not red then it is green.
((("something" "is" "white" "+") ("something" "is" "red" "~")) -> ("something" "is" "green" "+"))
If Erin is white and Erin is rough then Erin is not big.
((("Erin" "is" "white" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "big" "-"))
Charlie is not green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "-")
triple1
Charlie is green.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "green" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is not green.[(triple1)] Erin is red.[(triple2)] Erin is white.[(triple3)]
Charlie is not green.
("Charlie" "is" "green" "-")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3