The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle is big. The bald eagle likes the bear. The bear chases the squirrel. The bear eats the dog. The bear is big. The bear is blue. The bear likes the dog. The dog does not chase the bear. The dog likes the squirrel. The squirrel eats the bear. The squirrel does not eat the dog. The squirrel likes the bald eagle. The squirrel likes the dog. If something likes the bald eagle then it likes the bear. If something eats the squirrel then it is blue. If something likes the bear then it eats the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If something likes the bald eagle then it likes the bear.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "bear" "+"))
If something eats the squirrel then it is blue.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "blue" "+"))
If something likes the bear then it eats the bald eagle.
((("something" "likes" "bear" "+")) -> ("something" "eats" "bald eagle" "+"))
The squirrel likes the dog.
True
1
proof
[(triple15)]
("squirrel" "likes" "dog" "+")
triple15
The bear does not eat the dog.
False
1
inv-proof
[(triple6)]
("bear" "eats" "dog" "-")
triple6
The bald eagle eats the bald eagle.
True
2
proof
[(((triple4) -> rule3))]
("bald eagle" "eats" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The squirrel does not like the bear.
False
2
inv-proof
[(((triple14) -> rule1))]
("squirrel" "likes" "bear" "-")
((triple14) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel eats the bald eagle.
True
3
proof
[(((((triple14) -> rule1)) -> rule3))]
("squirrel" "eats" "bald eagle" "+")
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel does not eat the bald eagle.
False
3
inv-proof
[(((((triple14) -> rule1)) -> rule3))]
("squirrel" "eats" "bald eagle" "-")
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "blue" "-")
The bear eats the bald eagle.
Unknown
rconc
[@2: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bear" "eats" "bald eagle" "+")
The dog does not like the bear.
Unknown
inv-rconc
[@1: The dog likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "bear" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
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 chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle likes the bear.[(triple4)] The bear chases the squirrel.[(triple5)] The bear eats the dog.[(triple6)] The bear is big.[(triple7)] The bear is blue.[(triple8)] The bear likes the dog.[(triple9)] The dog does not chase the bear.[(triple10)] The dog likes the squirrel.[(triple11)] The squirrel does not eat the dog.[(triple13)] The squirrel eats the bear.[(triple12)] The squirrel likes the bald eagle.[(triple14)] The squirrel likes the dog.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple4) -> rule3))] The squirrel likes the bear.[(((triple14) -> rule1))] @2: The squirrel eats the bald eagle.[(((((triple14) -> rule1)) -> rule3))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple5
The bear eats the dog.
("bear" "eats" "dog" "+")
triple6
The bear is big.
("bear" "is" "big" "+")
triple7
The bear is blue.
("bear" "is" "blue" "+")
triple8
The bear likes the dog.
("bear" "likes" "dog" "+")
triple9
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple10
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple11
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple13
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple12
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple14
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple14) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2