The bald eagle is blue. The bald eagle likes the bear. The bear does not like the bald eagle. The cow is not big. The cow needs the bald eagle. The cow needs the bear. The cow needs the tiger. The cow visits the tiger. The tiger is big. The tiger does not need the bear. The tiger needs the cow. The tiger visits the bear. If someone needs the tiger and the tiger is not round then they are not rough. If the bald eagle is green then the bald eagle needs the cow. If someone needs the cow and they like the tiger then they like the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The cow is not big.
("cow" "is" "big" "-")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone needs the tiger and the tiger is not round then they are not rough.
((("someone" "needs" "tiger" "+") ("tiger" "is" "round" "~")) -> ("someone" "is" "rough" "-"))
If the bald eagle is green then the bald eagle needs the cow.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "needs" "cow" "+"))
If someone needs the cow and they like the tiger then they like the cow.
((("someone" "needs" "cow" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "likes" "cow" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The cow does not need the bear.
False
1
inv-proof
[(triple6)]
("cow" "needs" "bear" "-")
triple6
The bear does not like the cow.
Unknown
inv-rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "cow" "-")
The bear needs the bald eagle.
Unknown
random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear does not like the bald eagle.[(triple3)] The cow is not big.[(triple4)] The cow needs the bald eagle.[(triple5)] The cow needs the bear.[(triple6)] The cow needs the tiger.[(triple7)] The cow visits the tiger.[(triple8)] The tiger does not need the bear.[(triple10)] The tiger is big.[(triple9)] The tiger needs the cow.[(triple11)] The tiger visits the bear.[(triple12)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple3
The cow is not big.
("cow" "is" "big" "-")
triple4
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple5
The cow needs the bear.
("cow" "needs" "bear" "+")
triple6
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple7
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple8
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12