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