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