Anne is quiet. Bob is not nice. Dave is furry. Fiona is white. If something is furry then it is not quiet. Round things are not red. If something is red and not round then it is not furry. If Bob is not round then Bob is rough. White, quiet things are not rough. If something is rough and not quiet then it is white. All nice, furry things are white. If something is white and red then it is nice.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is furry then it is not quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "-"))
Round things are not red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "-"))
If something is red and not round then it is not furry.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "furry" "-"))
If Bob is not round then Bob is rough.
((("Bob" "is" "round" "~")) -> ("Bob" "is" "rough" "+"))
White, quiet things are not rough.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "-"))
If something is rough and not quiet then it is white.
((("something" "is" "rough" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "white" "+"))
All nice, furry things are white.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If something is white and red then it is nice.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "white" "-")
triple4
Dave is not white.
Unknown
inv-rconc
[@2: Dave is white.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is quiet.[(triple1)] Bob is not nice.[(triple2)] Dave is furry.[(triple3)] Fiona is white.[(triple4)] @1: Dave is not quiet.[(((triple3) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
((triple3) -> (rule1 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1