Anne is blue. Anne is cold. Anne is not furry. Anne is nice. Anne is smart. Anne is not white. Dave is not blue. Dave is not furry. Dave is not green. Dave is not nice. Dave is smart. Fiona is blue. Fiona is white. Gary is not cold. Gary is green. If Fiona is nice and Fiona is furry then Fiona is not white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is green.
("Gary" "is" "green" "+")
If Fiona is nice and Fiona is furry then Fiona is not white.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "white" "-"))
Anne is nice.
True
1
proof
[(triple4)]
("Anne" "is" "nice" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple15)]
("Gary" "is" "green" "-")
triple15
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple4)] Anne is not furry.[(triple3)] Anne is not white.[(triple6)] Anne is smart.[(triple5)] Dave is not blue.[(triple7)] Dave is not furry.[(triple8)] Dave is not green.[(triple9)] Dave is not nice.[(triple10)] Dave is smart.[(triple11)] Fiona is blue.[(triple12)] Fiona is white.[(triple13)] Gary is green.[(triple15)] Gary is not cold.[(triple14)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple3
Anne is not white.
("Anne" "is" "white" "-")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Dave is not blue.
("Dave" "is" "blue" "-")
triple7
Dave is not furry.
("Dave" "is" "furry" "-")
triple8
Dave is not green.
("Dave" "is" "green" "-")
triple9
Dave is not nice.
("Dave" "is" "nice" "-")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Gary is green.
("Gary" "is" "green" "+")
triple15
Gary is not cold.
("Gary" "is" "cold" "-")
triple14