The bald eagle eats the bear. The bald eagle is big. The bald eagle likes the cow. The bald eagle likes the squirrel. The bald eagle needs the bear. The bald eagle needs the cow. The bear does not eat the squirrel. The cow is big. The squirrel eats the cow. The squirrel is big. If the squirrel eats the bear and the bear needs the squirrel then the bear is young. If someone likes the cow and they do not like the squirrel then the cow is big. If someone is big then they are young. If someone eats the squirrel and they are young then the squirrel eats the cow. If someone is nice and not rough then they do not eat the cow. If someone eats the bald eagle and the bald eagle needs the squirrel then the bald eagle is not big.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The cow is big.
("cow" "is" "big" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
If the squirrel eats the bear and the bear needs the squirrel then the bear is young.
((("squirrel" "eats" "bear" "+") ("bear" "needs" "squirrel" "+")) -> ("bear" "is" "young" "+"))
If someone likes the cow and they do not like the squirrel then the cow is big.
((("someone" "likes" "cow" "+") ("someone" "likes" "squirrel" "~")) -> ("cow" "is" "big" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone eats the squirrel and they are young then the squirrel eats the cow.
((("someone" "eats" "squirrel" "+") ("someone" "is" "young" "+")) -> ("squirrel" "eats" "cow" "+"))
If someone is nice and not rough then they do not eat the cow.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "~")) -> ("someone" "eats" "cow" "-"))
If someone eats the bald eagle and the bald eagle needs the squirrel then the bald eagle is not big.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("bald eagle" "is" "big" "-"))
The bald eagle likes the cow.
True
1
proof
[(triple3)]
("bald eagle" "likes" "cow" "+")
triple3
The bear eats the squirrel.
False
1
inv-proof
[(triple7)]
("bear" "eats" "squirrel" "+")
triple7
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "young" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the cow.[(triple6)] The bear does not eat the squirrel.[(triple7)] The cow is big.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is big.[(triple10)] @1: The bald eagle is young.[(((triple2) -> rule3))] The cow is young.[(((triple8) -> rule3))] The squirrel is young.[(((triple10) -> rule3))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple5
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple6
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple2) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple8) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple10) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1