Anne is not big. Anne is green. Anne is red. Anne is not white. Bob is not furry. Bob is green. Bob is not red. Dave is big. Dave is blue. Harry is not big. Harry is blue. Harry is not green. If Dave is red and Dave is blue then Dave is green. If Anne is red and Anne is white then Anne is big. If Harry is big then Harry is not quiet.
Anne is not big.
("Anne" "is" "big" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is not red.
("Bob" "is" "red" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not green.
("Harry" "is" "green" "-")
If Dave is red and Dave is blue then Dave is green.
((("Dave" "is" "red" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "green" "+"))
If Anne is red and Anne is white then Anne is big.
((("Anne" "is" "red" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "big" "+"))
If Harry is big then Harry is not quiet.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "quiet" "-"))
Bob is not furry.
True
1
proof
[(triple5)]
("Bob" "is" "furry" "-")
triple5
Anne is white.
False
1
inv-proof
[(triple4)]
("Anne" "is" "white" "+")
triple4
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is green.[(triple2)] Anne is not big.[(triple1)] Anne is not white.[(triple4)] Anne is red.[(triple3)] Bob is green.[(triple6)] Bob is not furry.[(triple5)] Bob is not red.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Harry is blue.[(triple11)] Harry is not big.[(triple10)] Harry is not green.[(triple12)]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is not furry.
("Bob" "is" "furry" "-")
triple5
Bob is not red.
("Bob" "is" "red" "-")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not green.
("Harry" "is" "green" "-")
triple12