Anne is blue. Anne is not green. Bob is blue. Bob is furry. Bob is not green. Bob is kind. Bob is red. If something is blue then it is not cold. All young things are not blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not green.
("Anne" "is" "green" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
If something is blue then it is not cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "-"))
All young things are not blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "-"))
Bob is furry.
True
1
proof
[(triple4)]
("Bob" "is" "furry" "+")
triple4
Bob is not red.
False
1
inv-proof
[(triple7)]
("Bob" "is" "red" "-")
triple7
Bob is not cold.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is not green.[(triple2)] Bob is blue.[(triple3)] Bob is furry.[(triple4)] Bob is kind.[(triple6)] Bob is not green.[(triple5)] Bob is red.[(triple7)] @1: Anne is not cold.[(((triple1) -> rule1))] Bob is not cold.[(((triple3) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is not green.
("Bob" "is" "green" "-")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple7
Anne is not cold.
("Anne" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Bob is not cold.
("Bob" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1