Charlie is rough. Dave is not green. Dave is red. If someone is green and not furry then they are not rough. Blue people are smart.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is red.
("Dave" "is" "red" "+")
If someone is green and not furry then they are not rough.
((("someone" "is" "green" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "rough" "-"))
Blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Dave is not green.
True
1
proof
[(triple2)]
("Dave" "is" "green" "-")
triple2
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "smart" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Charlie is rough.[(triple1)] Dave is not green.[(triple2)] Dave is red.[(triple3)]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is not green.
("Dave" "is" "green" "-")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3