Anne is blue. Anne is cold. Anne is nice. Anne is red. Anne is white. Bob is blue. Bob is not cold. Bob is not furry. Bob is nice. Bob is white. If something is big and not cold then it is not blue. Cold, red things are not furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
If something is big and not cold then it is not blue.
((("something" "is" "big" "+") ("something" "is" "cold" "~")) -> ("something" "is" "blue" "-"))
Cold, red things are not furry.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "-"))
Anne is cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "+")
triple2
Bob is furry.
False
1
inv-proof
[(triple8)]
("Bob" "is" "furry" "+")
triple8
Anne is not furry.
True
3
proof
[(((triple2 triple4) -> rule2))]
("Anne" "is" "furry" "-")
((triple2 triple4) -> (rule2 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is furry.
False
3
inv-proof
[(((triple2 triple4) -> rule2))]
("Anne" "is" "furry" "+")
((triple2 triple4) -> (rule2 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5)] Bob is blue.[(triple6)] Bob is nice.[(triple9)] Bob is not cold.[(triple7)] Bob is not furry.[(triple8)] Bob is white.[(triple10)] @1: Anne is not furry.[(((triple2 triple4) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple9
Bob is not cold.
("Bob" "is" "cold" "-")
triple7
Bob is not furry.
("Bob" "is" "furry" "-")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple10
Anne is not furry.
("Anne" "is" "furry" "-")
((triple2 triple4) -> (rule2 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1