The bald eagle is green. The bear is green. The squirrel visits the bear. The tiger does not eat the squirrel. If something visits the bear then it is blue.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear is green.
("bear" "is" "green" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
If something visits the bear then it is blue.
((("something" "visits" "bear" "+")) -> ("something" "is" "blue" "+"))
The bald eagle is green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The squirrel does not visit the bear.
False
1
inv-proof
[(triple3)]
("squirrel" "visits" "bear" "-")
triple3
The squirrel is blue.
True
2
proof
[(((triple3) -> rule1))]
("squirrel" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("squirrel" "is" "blue" "-")
((triple3) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "blue" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle is green.[(triple1)] The bear is green.[(triple2)] The squirrel visits the bear.[(triple3)] The tiger does not eat the squirrel.[(triple4)] @1: The squirrel is blue.[(((triple3) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple3
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple4
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1