Dave is white. White people are smart. All red, white people are round. If someone is round and kind then they are smart. If someone is kind then they are round. All white, red people are furry. If someone is furry and kind then they are young.
Dave is white.
("Dave" "is" "white" "+")
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
All red, white people are round.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is kind then they are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All white, red people are furry.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and kind then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Dave is white.
True
1
proof
[(triple1)]
("Dave" "is" "white" "+")
triple1
Dave is not white.
False
1
inv-proof
[(triple1)]
("Dave" "is" "white" "-")
triple1
Dave is smart.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is white.[(triple1)] @1: Dave is smart.[(((triple1) -> rule1))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1