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