The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is round. The bald eagle likes the lion. The cow eats the bald eagle. The cow is round. The cow is young. The lion is young. The lion needs the squirrel. The squirrel does not eat the bald eagle. The squirrel is not young. The squirrel needs the bald eagle. If someone is rough and round then they do not eat the bald eagle. If someone is red and they like the bald eagle then they do not eat the bald eagle. If someone is red and they do not like the squirrel then the squirrel eats the bald eagle. If someone needs the squirrel then the squirrel eats the lion. If someone likes the cow and the cow is blue then they do not eat the squirrel. If someone is young and blue then they do not like the cow.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone is rough and round then they do not eat the bald eagle.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "bald eagle" "-"))
If someone is red and they like the bald eagle then they do not eat the bald eagle.
((("someone" "is" "red" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "-"))
If someone is red and they do not like the squirrel then the squirrel eats the bald eagle.
((("someone" "is" "red" "+") ("someone" "likes" "squirrel" "~")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone needs the squirrel then the squirrel eats the lion.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "eats" "lion" "+"))
If someone likes the cow and the cow is blue then they do not eat the squirrel.
((("someone" "likes" "cow" "+") ("cow" "is" "blue" "+")) -> ("someone" "eats" "squirrel" "-"))
If someone is young and blue then they do not like the cow.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "likes" "cow" "-"))
The lion needs the squirrel.
True
1
proof
[(triple9)]
("lion" "needs" "squirrel" "+")
triple9
The bald eagle does not like the lion.
False
1
inv-proof
[(triple4)]
("bald eagle" "likes" "lion" "-")
triple4
The squirrel eats the lion.
True
2
proof
[(((triple9) -> rule4))]
("squirrel" "eats" "lion" "+")
((triple9) -> (rule4 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The squirrel does not eat the lion.
False
2
inv-proof
[(((triple9) -> rule4))]
("squirrel" "eats" "lion" "-")
((triple9) -> (rule4 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The lion does not like the bald eagle.
Unknown
inv-random
[@0: The lion likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bald eagle" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The squirrel does not like the lion.
Unknown
inv-random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the lion.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow is round.[(triple6)] The cow is young.[(triple7)] The lion is young.[(triple8)] The lion needs the squirrel.[(triple9)] The squirrel does not eat the bald eagle.[(triple10)] The squirrel is not young.[(triple11)] The squirrel needs the bald eagle.[(triple12)] @1: The squirrel eats the lion.[(((triple9) -> rule4))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple9
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple10
The squirrel is not young.
("squirrel" "is" "young" "-")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple12
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
((triple9) -> (rule4 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1