Anne is cold. Anne is kind. Bob is kind. Dave is blue. Dave is not kind. Dave is white. Erin is blue. Erin is green. Erin is rough. Erin is round. If someone is cold and kind then they are not white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
If someone is cold and kind then they are not white.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "-"))
Erin is blue.
True
1
proof
[(triple7)]
("Erin" "is" "blue" "+")
triple7
Bob is not kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "-")
triple3
Anne is not white.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Anne" "is" "white" "-")
((triple1 triple2) -> (rule1 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is white.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Anne" "is" "white" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Bob is kind.[(triple3)] Dave is blue.[(triple4)] Dave is not kind.[(triple5)] Dave is white.[(triple6)] Erin is blue.[(triple7)] Erin is green.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10)] @1: Anne is not white.[(((triple1 triple2) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is not kind.
("Dave" "is" "kind" "-")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Anne is not white.
("Anne" "is" "white" "-")
((triple1 triple2) -> (rule1 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1