Anne is white. Charlie is red. Charlie is rough. Charlie is white. Erin is red. Erin is rough. Erin is round. If Anne is green and Anne is not kind then Anne is not white. Green people are round. If someone is blue and green then they are rough. If someone is rough and not green then they are blue. If someone is red and not green then they are blue. If someone is kind and not round then they are blue.
Anne is white.
("Anne" "is" "white" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
If Anne is green and Anne is not kind then Anne is not white.
((("Anne" "is" "green" "+") ("Anne" "is" "kind" "~")) -> ("Anne" "is" "white" "-"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and not green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "blue" "+"))
If someone is red and not green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "blue" "+"))
If someone is kind and not round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "blue" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Charlie is not rough.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is white.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)]
Anne is white.
("Anne" "is" "white" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7