The bald eagle is red. The bald eagle is round. The bear eats the bald eagle. The bear is big. The bear is green. The bear is red. The bear likes the cow. The bear does not need the bald eagle. The cow is cold. The cow likes the bear. The cow needs the bald eagle. The cow does not need the bear. If the bear does not need the cow then the bear likes the bald eagle. All cold things are not round. If something needs the bear and it eats the cow then it is not red. If something is green then it likes the bald eagle. If something likes the bald eagle then the bald eagle does not eat the bear. If something eats the bald eagle then the bald eagle does not like the cow.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear does not need the bald eagle.
("bear" "needs" "bald eagle" "-")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow does not need the bear.
("cow" "needs" "bear" "-")
If the bear does not need the cow then the bear likes the bald eagle.
((("bear" "needs" "cow" "~")) -> ("bear" "likes" "bald eagle" "+"))
All cold things are not round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "-"))
If something needs the bear and it eats the cow then it is not red.
((("something" "needs" "bear" "+") ("something" "eats" "cow" "+")) -> ("something" "is" "red" "-"))
If something is green then it likes the bald eagle.
((("something" "is" "green" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the bald eagle then the bald eagle does not eat the bear.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "-"))
If something eats the bald eagle then the bald eagle does not like the cow.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "cow" "-"))
The cow needs the bald eagle.
True
1
proof
[(triple11)]
("cow" "needs" "bald eagle" "+")
triple11
The bear is not red.
False
1
inv-proof
[(triple6)]
("bear" "is" "red" "-")
triple6
The bear likes the bald eagle.
True
2
proof
[(((triple5) -> rule4))]
("bear" "likes" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The cow is round.
False
2
inv-proof
[(((triple9) -> rule2))]
("cow" "is" "round" "+")
((triple9) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The bald eagle does not eat the bear.
True
3
proof
[(((((triple5) -> rule4)) -> rule5))]
("bald eagle" "eats" "bear" "-")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle eats the bear.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule5))]
("bald eagle" "eats" "bear" "+")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The cow does not like the bald eagle.
Unknown
inv-rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle is round.[(triple2)] The bear does not need the bald eagle.[(triple8)] The bear eats the bald eagle.[(triple3)] The bear is big.[(triple4)] The bear is green.[(triple5)] The bear is red.[(triple6)] The bear likes the cow.[(triple7)] The cow does not need the bear.[(triple12)] The cow is cold.[(triple9)] The cow likes the bear.[(triple10)] The cow needs the bald eagle.[(triple11)] @1: The bald eagle does not like the cow.[(((triple3) -> rule6))] The bear likes the bald eagle.[(((triple5) -> rule4))] The cow is not round.[(((triple9) -> rule2))] @2: The bald eagle does not eat the bear.[(((((triple5) -> rule4)) -> rule5))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bear does not need the bald eagle.
("bear" "needs" "bald eagle" "-")
triple8
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear likes the cow.
("bear" "likes" "cow" "+")
triple7
The cow does not need the bear.
("cow" "needs" "bear" "-")
triple12
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow likes the bear.
("cow" "likes" "bear" "+")
triple10
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple11
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
((triple3) -> (rule6 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The cow is not round.
("cow" "is" "round" "-")
((triple9) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2