The bald eagle chases the tiger. The bald eagle is cold. The bald eagle needs the tiger. The cow chases the tiger. The cow is red. The cow likes the bald eagle. The tiger likes the bald eagle. If the tiger is cold then the tiger chases the cow. If the tiger needs the bald eagle and the tiger likes the cow then the tiger needs the cow. Nice things are blue. If something needs the bald eagle then the bald eagle is cold. If something likes the tiger and it needs the tiger then the tiger is nice. If the cow is cold and the cow chases the tiger then the cow likes the tiger. If the tiger is nice and the tiger chases the bald eagle then the bald eagle chases the tiger. If the tiger is blue then the tiger likes the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If the tiger is cold then the tiger chases the cow.
((("tiger" "is" "cold" "+")) -> ("tiger" "chases" "cow" "+"))
If the tiger needs the bald eagle and the tiger likes the cow then the tiger needs the cow.
((("tiger" "needs" "bald eagle" "+") ("tiger" "likes" "cow" "+")) -> ("tiger" "needs" "cow" "+"))
Nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something needs the bald eagle then the bald eagle is cold.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something likes the tiger and it needs the tiger then the tiger is nice.
((("something" "likes" "tiger" "+") ("something" "needs" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If the cow is cold and the cow chases the tiger then the cow likes the tiger.
((("cow" "is" "cold" "+") ("cow" "chases" "tiger" "+")) -> ("cow" "likes" "tiger" "+"))
If the tiger is nice and the tiger chases the bald eagle then the bald eagle chases the tiger.
((("tiger" "is" "nice" "+") ("tiger" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If the tiger is blue then the tiger likes the bald eagle.
((("tiger" "is" "blue" "+")) -> ("tiger" "likes" "bald eagle" "+"))
The tiger likes the bald eagle.
True
1
proof
[(triple7)]
("tiger" "likes" "bald eagle" "+")
triple7
The bald eagle does not need the tiger.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "tiger" "-")
triple3
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "nice" "-")
The cow needs the bald eagle.
Unknown
random
[@0: The cow needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the tiger.[(triple3)] The cow chases the tiger.[(triple4)] The cow is red.[(triple5)] The cow likes the bald eagle.[(triple6)] The tiger likes the bald eagle.[(triple7)]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple6
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple7