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