Anne is kind. Dave is rough. If Dave is nice and Dave is rough then Dave is furry. If something is rough and round then it is nice. All blue things are round.
Anne is kind.
("Anne" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
If Dave is nice and Dave is rough then Dave is furry.
((("Dave" "is" "nice" "+") ("Dave" "is" "rough" "+")) -> ("Dave" "is" "furry" "+"))
If something is rough and round then it is nice.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Dave is rough.
True
1
proof
[(triple2)]
("Dave" "is" "rough" "+")
triple2
Dave is not rough.
False
1
inv-proof
[(triple2)]
("Dave" "is" "rough" "-")
triple2
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Dave is rough.[(triple2)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2