Anne is furry. Dave is not big. Harry is furry. All nice, white people are furry. If someone is white and not furry then they are red.
Anne is furry.
("Anne" "is" "furry" "+")
Dave is not big.
("Dave" "is" "big" "-")
Harry is furry.
("Harry" "is" "furry" "+")
All nice, white people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and not furry then they are red.
((("someone" "is" "white" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "red" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Dave is big.
False
1
inv-proof
[(triple2)]
("Dave" "is" "big" "+")
triple2
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Dave is not big.[(triple2)] Harry is furry.[(triple3)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Dave is not big.
("Dave" "is" "big" "-")
triple2
Harry is furry.
("Harry" "is" "furry" "+")
triple3