Dave is not blue. Dave is not green. Dave is kind. All blue, kind people are furry. All kind, rough people are furry. Rough, nice people are not kind. All green, rough people are kind. If someone is green then they are not round. Green people are not round.
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is kind.
("Dave" "is" "kind" "+")
All blue, kind people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
All kind, rough people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Rough, nice people are not kind.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "-"))
All green, rough people are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are not round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "-"))
Green people are not round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "-"))
Dave is not blue.
True
1
proof
[(triple1)]
("Dave" "is" "blue" "-")
triple1
Dave is not kind.
False
1
inv-proof
[(triple3)]
("Dave" "is" "kind" "-")
triple3
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Dave is kind.[(triple3)] Dave is not blue.[(triple1)] Dave is not green.[(triple2)]
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is not blue.
("Dave" "is" "blue" "-")
triple1
Dave is not green.
("Dave" "is" "green" "-")
triple2