The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle eats the dog. The bald eagle eats the squirrel. The bald eagle is red. The bald eagle needs the dog. The bald eagle needs the tiger. The dog eats the squirrel. The dog is big. The dog is green. The dog needs the bald eagle. The squirrel eats the bald eagle. The squirrel is young. The tiger eats the bald eagle. The tiger is blue. The tiger needs the bald eagle. If the tiger chases the bald eagle then the tiger eats the dog. If someone needs the tiger then the tiger chases the dog. If someone needs the tiger then they are red. If someone needs the squirrel and they eat the dog then the dog chases the squirrel. If someone is big and red then they eat the bald eagle. If someone is blue and they chase the squirrel then they eat the bald eagle. If someone chases the bald eagle and the bald eagle is green then the bald eagle needs the tiger. If someone eats the dog and they are green then they chase the tiger.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If the tiger chases the bald eagle then the tiger eats the dog.
((("tiger" "chases" "bald eagle" "+")) -> ("tiger" "eats" "dog" "+"))
If someone needs the tiger then the tiger chases the dog.
((("someone" "needs" "tiger" "+")) -> ("tiger" "chases" "dog" "+"))
If someone needs the tiger then they are red.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "red" "+"))
If someone needs the squirrel and they eat the dog then the dog chases the squirrel.
((("someone" "needs" "squirrel" "+") ("someone" "eats" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If someone is big and red then they eat the bald eagle.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is blue and they chase the squirrel then they eat the bald eagle.
((("someone" "is" "blue" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone chases the bald eagle and the bald eagle is green then the bald eagle needs the tiger.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If someone eats the dog and they are green then they chase the tiger.
((("someone" "eats" "dog" "+") ("someone" "is" "green" "+")) -> ("someone" "chases" "tiger" "+"))
The bald eagle eats the squirrel.
True
1
proof
[(triple4)]
("bald eagle" "eats" "squirrel" "+")
triple4
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple16)]
("tiger" "needs" "bald eagle" "-")
triple16
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle eats the squirrel.[(triple4)] The bald eagle is red.[(triple5 OR ((triple7) -> rule3))] The bald eagle needs the dog.[(triple6)] The bald eagle needs the tiger.[(triple7)] The dog eats the squirrel.[(triple8)] The dog is big.[(triple9)] The dog is green.[(triple10)] The dog needs the bald eagle.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel is young.[(triple13)] The tiger eats the bald eagle.[(triple14)] The tiger is blue.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The tiger chases the dog.[(((triple7) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
((triple7) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple6
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple7
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is green.
("dog" "is" "green" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple14
The tiger is blue.
("tiger" "is" "blue" "+")
triple15
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple16
The tiger chases the dog.
("tiger" "chases" "dog" "+")
((triple7) -> (rule2 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1