The bald eagle is green. The bald eagle likes the tiger. The bald eagle needs the cow. The bald eagle needs the tiger. The cow is blue. The cow is red. The cow likes the lion. The cow visits the lion. The cow visits the tiger. The lion likes the tiger. The lion needs the cow. The lion visits the bald eagle. The lion visits the cow. The tiger likes the bald eagle. The tiger likes the cow. The tiger visits the lion. If someone needs the tiger and the tiger visits the bald eagle then the bald eagle needs the cow. If the cow is cold and the cow needs the lion then the cow visits the bald eagle. If someone likes the lion and they need the tiger then they need the bald eagle. If someone visits the tiger then the tiger needs the bald eagle. If someone is blue and they need the cow then the cow needs the bald eagle. If the lion is blue and the lion likes the cow then the lion is cold.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone needs the tiger and the tiger visits the bald eagle then the bald eagle needs the cow.
((("someone" "needs" "tiger" "+") ("tiger" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "+"))
If the cow is cold and the cow needs the lion then the cow visits the bald eagle.
((("cow" "is" "cold" "+") ("cow" "needs" "lion" "+")) -> ("cow" "visits" "bald eagle" "+"))
If someone likes the lion and they need the tiger then they need the bald eagle.
((("someone" "likes" "lion" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the tiger then the tiger needs the bald eagle.
((("someone" "visits" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If someone is blue and they need the cow then the cow needs the bald eagle.
((("someone" "is" "blue" "+") ("someone" "needs" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If the lion is blue and the lion likes the cow then the lion is cold.
((("lion" "is" "blue" "+") ("lion" "likes" "cow" "+")) -> ("lion" "is" "cold" "+"))
The tiger visits the lion.
True
1
proof
[(triple16)]
("tiger" "visits" "lion" "+")
triple16
The tiger does not visit the lion.
False
1
inv-proof
[(triple16)]
("tiger" "visits" "lion" "-")
triple16
The cow does not need the bald eagle.
Unknown
inv-rconc
[@1: The cow needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "bald eagle" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle needs the tiger.[(triple4)] The cow is blue.[(triple5)] The cow is red.[(triple6)] The cow likes the lion.[(triple7)] The cow visits the lion.[(triple8)] The cow visits the tiger.[(triple9)] The lion likes the tiger.[(triple10)] The lion needs the cow.[(triple11)] The lion visits the bald eagle.[(triple12)] The lion visits the cow.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the cow.[(triple15)] The tiger visits the lion.[(triple16)] @1: The tiger needs the bald eagle.[(((triple9) -> rule4))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow likes the lion.
("cow" "likes" "lion" "+")
triple7
The cow visits the lion.
("cow" "visits" "lion" "+")
triple8
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple9
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple10
The lion needs the cow.
("lion" "needs" "cow" "+")
triple11
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple12
The lion visits the cow.
("lion" "visits" "cow" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple15
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple16
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((triple9) -> (rule4 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1