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