Anne is furry. Charlie is green. Fiona is kind. Harry is big. If something is furry and not blue then it is smart. If something is big and not kind then it is not smart. All kind, furry things are green.
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If something is furry and not blue then it is smart.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "smart" "+"))
If something is big and not kind then it is not smart.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "smart" "-"))
All kind, furry things are green.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Charlie is green.[(triple2)] Fiona is kind.[(triple3)] Harry is big.[(triple4)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4