Anne is blue. Anne is round. Bob is cold. Charlie is furry. Charlie is white. Erin is cold. Erin is furry. If something is cold and furry then it is not blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
If something is cold and furry then it is not blue.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "-"))
Charlie is white.
True
1
proof
[(triple5)]
("Charlie" "is" "white" "+")
triple5
Erin is not furry.
False
1
inv-proof
[(triple7)]
("Erin" "is" "furry" "-")
triple7
Erin is not blue.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Erin" "is" "blue" "-")
((triple6 triple7) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is blue.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Erin" "is" "blue" "+")
((triple6 triple7) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Bob is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is white.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] @1: Erin is not blue.[(((triple6 triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is not blue.
("Erin" "is" "blue" "-")
((triple6 triple7) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1