Dave is green. All nice, cold people are red. Furry people are red. If someone is round then they are cold. If Dave is kind then Dave is green. Furry people are round. If someone is red and round then they are furry. All red, kind people are round. Green, red people are kind.
Dave is green.
("Dave" "is" "green" "+")
All nice, cold people are red.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If Dave is kind then Dave is green.
((("Dave" "is" "kind" "+")) -> ("Dave" "is" "green" "+"))
Furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is red and round then they are furry.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
All red, kind people are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Green, red people are kind.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Dave is green.
True
1
proof
[(triple1)]
("Dave" "is" "green" "+")
triple1
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Dave is not kind.
Unknown
inv-rconc
[@4: Dave is kind.[CWA. Example of deepest failure = (rule8 <- rule2 <- rule6 <- rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is green.[(triple1)]
Dave is green.
("Dave" "is" "green" "+")
triple1