Dave is not young. If something is furry and not green then it is white. If something is quiet and not young then it is not white.
Dave is not young.
("Dave" "is" "young" "-")
If something is furry and not green then it is white.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "white" "+"))
If something is quiet and not young then it is not white.
((("something" "is" "quiet" "+") ("something" "is" "young" "~")) -> ("something" "is" "white" "-"))
Dave is not young.
True
1
proof
[(triple1)]
("Dave" "is" "young" "-")
triple1
Dave is young.
False
1
inv-proof
[(triple1)]
("Dave" "is" "young" "+")
triple1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is not young.[(triple1)]
Dave is not young.
("Dave" "is" "young" "-")
triple1