Anne is furry. Anne is green. Anne is quiet. Anne is white. Bob is furry. Bob is green. Dave is quiet. Green, big things are white. If something is big and not red then it is not white. Round, big things are not white. If something is red and not quiet then it is white. All red things are round. If Bob is white then Bob is not big. Quiet things are furry. If Dave is quiet then Dave is white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Green, big things are white.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If something is big and not red then it is not white.
((("something" "is" "big" "+") ("something" "is" "red" "~")) -> ("something" "is" "white" "-"))
Round, big things are not white.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "-"))
If something is red and not quiet then it is white.
((("something" "is" "red" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "white" "+"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If Bob is white then Bob is not big.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "big" "-"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If Dave is quiet then Dave is white.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "white" "+"))
Dave is quiet.
True
1
proof
[(triple7)]
("Dave" "is" "quiet" "+")
triple7
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is furry.[(triple1 OR ((triple3) -> rule7))] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Bob is furry.[(triple5)] Bob is green.[(triple6)] Dave is quiet.[(triple7)] @1: Dave is furry.[(((triple7) -> rule7))] Dave is white.[(((triple7) -> rule8))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
((triple7) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple7) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1