Anne is not blue. Anne is green. Anne is not quiet. Anne is red. Dave is blue. Dave is furry. Dave is quiet. Dave is red. Dave is smart. Dave is white. If something is furry and not smart then it is not red. If something is green then it is white.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is red.
("Anne" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
If something is furry and not smart then it is not red.
((("something" "is" "furry" "+") ("something" "is" "smart" "~")) -> ("something" "is" "red" "-"))
If something is green then it is white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Anne is not blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Dave is not white.
False
1
inv-proof
[(triple10)]
("Dave" "is" "white" "-")
triple10
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Anne is not quiet.[(triple3)] Anne is red.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] @1: Anne is white.[(((triple2) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1