Anne is round. Erin is green. If someone is white and blue then they are red. Cold, blue people are red. If Anne is white and Anne is blue then Anne is rough. If someone is red and not green then they are not blue. If someone is red and not white then they are blue. If someone is rough then they are round.
Anne is round.
("Anne" "is" "round" "+")
Erin is green.
("Erin" "is" "green" "+")
If someone is white and blue then they are red.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Cold, blue people are red.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If Anne is white and Anne is blue then Anne is rough.
((("Anne" "is" "white" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "rough" "+"))
If someone is red and not green then they are not blue.
((("someone" "is" "red" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "blue" "-"))
If someone is red and not white then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Erin is not green.
False
1
inv-proof
[(triple2)]
("Erin" "is" "green" "-")
triple2
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "blue" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is round.[(triple1)] Erin is green.[(triple2)]
Anne is round.
("Anne" "is" "round" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2