The bald eagle is not red. The bear is green. The bear visits the lion. The lion eats the squirrel. The squirrel eats the bear. The squirrel is cold. The squirrel sees the bear. If someone visits the squirrel and the squirrel sees the bear then the bear sees the lion. If the lion sees the bald eagle then the bald eagle does not visit the lion. If the squirrel is blue and the squirrel sees the bald eagle then the squirrel visits the bear. If someone is red then they do not eat the lion. If someone eats the squirrel then they eat the bear. If someone eats the bald eagle and they eat the squirrel then the bald eagle does not eat the bear.
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bear is green.
("bear" "is" "green" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If someone visits the squirrel and the squirrel sees the bear then the bear sees the lion.
((("someone" "visits" "squirrel" "+") ("squirrel" "sees" "bear" "+")) -> ("bear" "sees" "lion" "+"))
If the lion sees the bald eagle then the bald eagle does not visit the lion.
((("lion" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "-"))
If the squirrel is blue and the squirrel sees the bald eagle then the squirrel visits the bear.
((("squirrel" "is" "blue" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("squirrel" "visits" "bear" "+"))
If someone is red then they do not eat the lion.
((("someone" "is" "red" "+")) -> ("someone" "eats" "lion" "-"))
If someone eats the squirrel then they eat the bear.
((("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the bald eagle and they eat the squirrel then the bald eagle does not eat the bear.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "squirrel" "+")) -> ("bald eagle" "eats" "bear" "-"))
The bald eagle is not red.
True
1
proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The bald eagle is red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "+")
triple1
The lion eats the bear.
True
2
proof
[(((triple4) -> rule5))]
("lion" "eats" "bear" "+")
((triple4) -> (rule5 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The lion does not eat the bear.
False
2
inv-proof
[(((triple4) -> rule5))]
("lion" "eats" "bear" "-")
((triple4) -> (rule5 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The bear does not see the lion.
Unknown
inv-rconc
[@1: The bear sees the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "lion" "-")
The bald eagle eats the bear.
Unknown
rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "bear" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The bald eagle sees the bear.
Unknown
random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "+")
@0: The bald eagle is not red.[(triple1)] The bear is green.[(triple2)] The bear visits the lion.[(triple3)] The lion eats the squirrel.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel is cold.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The lion eats the bear.[(((triple4) -> rule5))]
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear visits the lion.
("bear" "visits" "lion" "+")
triple3
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple4
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple7
The lion eats the bear.
("lion" "eats" "bear" "+")
((triple4) -> (rule5 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1