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