The bald eagle eats the cow. The bald eagle likes the bear. The bear is young. The bear likes the bald eagle. The cow eats the bald eagle. The cow eats the bear. The cow likes the lion. The cow needs the bear. The cow needs the lion. The lion is blue. The lion is kind. The lion is red. The lion likes the cow. The lion needs the bear. The lion needs the cow. If someone eats the lion then they need the cow. If someone likes the lion then they are nice. If the cow needs the lion and the lion likes the bald eagle then the cow is blue. All nice, young people are blue. If someone eats the bear then they eat the cow. If someone needs the cow then the cow likes the lion.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If someone eats the lion then they need the cow.
((("someone" "eats" "lion" "+")) -> ("someone" "needs" "cow" "+"))
If someone likes the lion then they are nice.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "nice" "+"))
If the cow needs the lion and the lion likes the bald eagle then the cow is blue.
((("cow" "needs" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("cow" "is" "blue" "+"))
All nice, young people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the bear then they eat the cow.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "cow" "+"))
If someone needs the cow then the cow likes the lion.
((("someone" "needs" "cow" "+")) -> ("cow" "likes" "lion" "+"))
The cow likes the lion.
True
1
proof
[(triple7 OR ((triple15) -> rule6))]
("cow" "likes" "lion" "+")
triple7
((triple15) -> (rule6 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The lion is not blue.
False
1
inv-proof
[(triple10)]
("lion" "is" "blue" "-")
triple10
The cow eats the cow.
True
2
proof
[(((triple6) -> rule5))]
("cow" "eats" "cow" "+")
((triple6) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple7) -> rule2) OR ((((triple15) -> rule6)) -> rule2))]
("cow" "is" "nice" "-")
((triple7) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((((triple15) -> (rule6 % int2))) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The bear needs the cow.
Unknown
rconc
[@1: The bear needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "cow" "+")
The bald eagle does not eat the bear.
Unknown
inv-random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear is young.[(triple3)] The bear likes the bald eagle.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow eats the bear.[(triple6)] The cow likes the lion.[(triple7 OR ((triple15) -> rule6))] The cow needs the bear.[(triple8)] The cow needs the lion.[(triple9)] The lion is blue.[(triple10)] The lion is kind.[(triple11)] The lion is red.[(triple12)] The lion likes the cow.[(triple13)] The lion needs the bear.[(triple14)] The lion needs the cow.[(triple15)] @1: The cow eats the cow.[(((triple6) -> rule5))] The cow is nice.[(((triple7) -> rule2) OR ((((triple15) -> rule6)) -> rule2))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow likes the lion.
("cow" "likes" "lion" "+")
triple7
((triple15) -> (rule6 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple8
The cow needs the lion.
("cow" "needs" "lion" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion likes the cow.
("lion" "likes" "cow" "+")
triple13
The lion needs the bear.
("lion" "needs" "bear" "+")
triple14
The lion needs the cow.
("lion" "needs" "cow" "+")
triple15
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple6) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((triple7) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((((triple15) -> (rule6 % int2))) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2