Anne is furry. Bob is young. Dave is not kind. Fiona is green. All young, red things are not furry. All nice things are kind. All red things are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Fiona is green.
("Fiona" "is" "green" "+")
All young, red things are not furry.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "-"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Bob is young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Dave is kind.
False
1
inv-proof
[(triple3)]
("Dave" "is" "kind" "+")
triple3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Dave is not kind.[(triple3)] Fiona is green.[(triple4)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is not kind.
("Dave" "is" "kind" "-")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4