The bald eagle is cold. The bald eagle does not like the bear. The bald eagle does not like the dog. The bald eagle needs the dog. The bear does not chase the bald eagle. The bear chases the tiger. The bear does not like the bald eagle. The bear likes the dog. The dog chases the tiger. The dog does not like the bear. The dog does not like the tiger. The dog needs the tiger. The tiger chases the dog. The tiger is rough. The tiger likes the dog. The tiger needs the dog. If someone chases the dog and the dog is not young then the dog likes the tiger. If someone is round then they chase the tiger. If someone likes the tiger and the tiger is not young then they like the dog.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog does not like the bear.
("dog" "likes" "bear" "-")
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If someone chases the dog and the dog is not young then the dog likes the tiger.
((("someone" "chases" "dog" "+") ("dog" "is" "young" "~")) -> ("dog" "likes" "tiger" "+"))
If someone is round then they chase the tiger.
((("someone" "is" "round" "+")) -> ("someone" "chases" "tiger" "+"))
If someone likes the tiger and the tiger is not young then they like the dog.
((("someone" "likes" "tiger" "+") ("tiger" "is" "young" "~")) -> ("someone" "likes" "dog" "+"))
The dog does not like the tiger.
True
1
proof
[(triple11)]
("dog" "likes" "tiger" "-")
triple11
The tiger does not chase the dog.
False
1
inv-proof
[(triple13)]
("tiger" "chases" "dog" "-")
triple13
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
@0: The bald eagle does not like the bear.[(triple2)] The bald eagle does not like the dog.[(triple3)] The bald eagle is cold.[(triple1)] The bald eagle needs the dog.[(triple4)] The bear chases the tiger.[(triple6)] The bear does not chase the bald eagle.[(triple5)] The bear does not like the bald eagle.[(triple7)] The bear likes the dog.[(triple8)] The dog chases the tiger.[(triple9)] The dog does not like the bear.[(triple10)] The dog does not like the tiger.[(triple11)] The dog needs the tiger.[(triple12)] The tiger chases the dog.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the dog.[(triple15)] The tiger needs the dog.[(triple16)]
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
triple2
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple6
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
triple5
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple7
The bear likes the dog.
("bear" "likes" "dog" "+")
triple8
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple9
The dog does not like the bear.
("dog" "likes" "bear" "-")
triple10
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
triple11
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple12
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple15
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple16