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