The bald eagle eats the squirrel. The bald eagle is not blue. The bald eagle likes the squirrel. The cow is red. The squirrel is young. The tiger eats the bald eagle. The tiger needs the squirrel. If someone needs the squirrel then the squirrel is not green. If someone eats the cow and the cow eats the bald eagle then the cow needs the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cow is red.
("cow" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone needs the squirrel then the squirrel is not green.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "green" "-"))
If someone eats the cow and the cow eats the bald eagle then the cow needs the bald eagle.
((("someone" "eats" "cow" "+") ("cow" "eats" "bald eagle" "+")) -> ("cow" "needs" "bald eagle" "+"))
The bald eagle likes the squirrel.
True
1
proof
[(triple3)]
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "squirrel" "-")
triple1
The squirrel is not green.
True
2
proof
[(((triple7) -> rule1))]
("squirrel" "is" "green" "-")
((triple7) -> (rule1 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is green.
False
2
inv-proof
[(((triple7) -> rule1))]
("squirrel" "is" "green" "+")
((triple7) -> (rule1 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The cow does not need the bald eagle.
Unknown
inv-rconc
[@1: The cow needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "bald eagle" "-")
The cow likes the tiger.
Unknown
random
[@0: The cow likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "tiger" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The cow is red.[(triple4)] The squirrel is young.[(triple5)] The tiger eats the bald eagle.[(triple6)] The tiger needs the squirrel.[(triple7)] @1: The squirrel is not green.[(((triple7) -> rule1))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple6
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple7
The squirrel is not green.
("squirrel" "is" "green" "-")
((triple7) -> (rule1 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1