The bear is green. If something is green then it is not round. If the bear is round and the bear is blue then the bear is not green.
The bear is green.
("bear" "is" "green" "+")
If something is green then it is not round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
If the bear is round and the bear is blue then the bear is not green.
((("bear" "is" "round" "+") ("bear" "is" "blue" "+")) -> ("bear" "is" "green" "-"))
The bear is green.
True
1
proof
[(triple1)]
("bear" "is" "green" "+")
triple1
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
The bear is not round.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "round" "-")
((triple1) -> (rule1 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The bear is round.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is green.[(triple1)] @1: The bear is not round.[(((triple1) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is not round.
("bear" "is" "round" "-")
((triple1) -> (rule1 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1