Dave is green. Harry is young. All furry, nice things are rough. If Dave is furry and Dave is nice then Dave is rough. Furry, cold things are green.
Dave is green.
("Dave" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
All furry, nice things are rough.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If Dave is furry and Dave is nice then Dave is rough.
((("Dave" "is" "furry" "+") ("Dave" "is" "nice" "+")) -> ("Dave" "is" "rough" "+"))
Furry, cold things are green.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Dave is green.
True
1
proof
[(triple1)]
("Dave" "is" "green" "+")
triple1
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is green.[(triple1)] Harry is young.[(triple2)]
Dave is green.
("Dave" "is" "green" "+")
triple1
Harry is young.
("Harry" "is" "young" "+")
triple2