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