Harry is not green. All quiet, round things are not smart. All furry, round things are smart. If something is round and smart then it is furry. If something is rough and not quiet then it is round. All furry things are not young. If something is round then it is green.
Harry is not green.
("Harry" "is" "green" "-")
All quiet, round things are not smart.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "-"))
All furry, round things are smart.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If something is round and smart then it is furry.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If something is rough and not quiet then it is round.
((("something" "is" "rough" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "round" "+"))
All furry things are not young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "-"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Harry is not green.
True
1
proof
[(triple1)]
("Harry" "is" "green" "-")
triple1
Harry is green.
False
1
inv-proof
[(triple1)]
("Harry" "is" "green" "+")
triple1
Harry is not furry.
Unknown
inv-rconc
[@2: Harry is furry.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Harry is not green.[(triple1)]
Harry is not green.
("Harry" "is" "green" "-")
triple1