Anne is rough. Dave is furry. Fiona is furry. Gary is furry. If someone is quiet and big then they are furry. If someone is rough and not quiet then they are furry. If someone is nice and not rough then they are round.
Anne is rough.
("Anne" "is" "rough" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If someone is quiet and big then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough and not quiet then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
If someone is nice and not rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "round" "+"))
Fiona is furry.
True
1
proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "furry" "-")
triple3
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is rough.[(triple1)] Dave is furry.[(triple2)] Fiona is furry.[(triple3)] Gary is furry.[(triple4)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4