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