Anne is blue. Anne is quiet. Anne is not white. Dave is furry. Dave is not quiet. Dave is white. Erin is quiet. Erin is not red. Erin is round. Gary is blue. If someone is blue and not cold then they are furry. If Dave is blue and Dave is cold then Dave is white. If someone is red and not cold then they are quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not white.
("Anne" "is" "white" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is round.
("Erin" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and not cold then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "furry" "+"))
If Dave is blue and Dave is cold then Dave is white.
((("Dave" "is" "blue" "+") ("Dave" "is" "cold" "+")) -> ("Dave" "is" "white" "+"))
If someone is red and not cold then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "quiet" "+"))
Gary is blue.
True
1
proof
[(triple10)]
("Gary" "is" "blue" "+")
triple10
Erin is not round.
False
1
inv-proof
[(triple9)]
("Erin" "is" "round" "-")
triple9
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is not white.[(triple3)] Anne is quiet.[(triple2)] Dave is furry.[(triple4)] Dave is not quiet.[(triple5)] Dave is white.[(triple6)] Erin is not red.[(triple8)] Erin is quiet.[(triple7)] Erin is round.[(triple9)] Gary is blue.[(triple10)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is not red.
("Erin" "is" "red" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10