Anne is furry. Bob is furry. Dave is smart. Erin is furry. If something is white and kind then it is not nice. All green things are not furry. If something is nice then it is not kind. If something is furry and not nice then it is young. Nice things are not young. If something is kind then it is young.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
If something is white and kind then it is not nice.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
All green things are not furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
If something is nice then it is not kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
If something is furry and not nice then it is young.
((("something" "is" "furry" "+") ("something" "is" "nice" "~")) -> ("something" "is" "young" "+"))
Nice things are not young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "-"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Dave is smart.
True
1
proof
[(triple3)]
("Dave" "is" "smart" "+")
triple3
Bob is not furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "young" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is furry.[(triple1)] Bob is furry.[(triple2)] Dave is smart.[(triple3)] Erin is furry.[(triple4)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4