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