Anne is blue. All blue things are not furry. If Anne is white and Anne is nice then Anne is blue. If something is nice and not furry then it is not quiet.
Anne is blue.
("Anne" "is" "blue" "+")
All blue things are not furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "-"))
If Anne is white and Anne is nice then Anne is blue.
((("Anne" "is" "white" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "blue" "+"))
If something is nice and not furry then it is not quiet.
((("something" "is" "nice" "+") ("something" "is" "furry" "~")) -> ("something" "is" "quiet" "-"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is not furry.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is blue.[(triple1)] @1: Anne is not furry.[(((triple1) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1