Dave is not quiet. If Dave is furry and Dave is big then Dave is young. Big people are young. All quiet people are big. White people are kind. If someone is quiet and young then they are kind. If Dave is quiet then Dave is not furry.
Dave is not quiet.
("Dave" "is" "quiet" "-")
If Dave is furry and Dave is big then Dave is young.
((("Dave" "is" "furry" "+") ("Dave" "is" "big" "+")) -> ("Dave" "is" "young" "+"))
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet and young then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If Dave is quiet then Dave is not furry.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "furry" "-"))
Dave is not quiet.
True
1
proof
[(triple1)]
("Dave" "is" "quiet" "-")
triple1
Dave is quiet.
False
1
inv-proof
[(triple1)]
("Dave" "is" "quiet" "+")
triple1
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is not quiet.[(triple1)]
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple1