Anne is not white. Bob is white. Fiona is not green. Harry is quiet. If Bob is furry then Bob is not green. All young, furry things are green. Round things are green.
Anne is not white.
("Anne" "is" "white" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Bob is furry then Bob is not green.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "green" "-"))
All young, furry things are green.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Anne is not white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Bob is not white.
False
1
inv-proof
[(triple2)]
("Bob" "is" "white" "-")
triple2
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "green" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is not white.[(triple1)] Bob is white.[(triple2)] Fiona is not green.[(triple3)] Harry is quiet.[(triple4)]
Anne is not white.
("Anne" "is" "white" "-")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4