Anne is cold. Bob is furry. If Anne is furry and Anne is quiet then Anne is not green. If Bob is furry then Bob is quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
If Anne is furry and Anne is quiet then Anne is not green.
((("Anne" "is" "furry" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "green" "-"))
If Bob is furry then Bob is quiet.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "quiet" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Bob is quiet.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "quiet" "-")
((triple2) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is cold.[(triple1)] Bob is furry.[(triple2)] @1: Bob is quiet.[(((triple2) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1