The bald eagle is blue. The bald eagle is kind. The bald eagle likes the dog. The cat does not eat the dog. The cat is big. The cat is kind. The cat is round. The dog is big. The dog is young. The dog likes the bald eagle. The tiger eats the cat. The tiger is young. The tiger likes the bald eagle. The tiger likes the cat. The tiger needs the bald eagle. The tiger needs the dog. If the dog eats the cat then the cat likes the tiger.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cat does not eat the dog.
("cat" "eats" "dog" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If the dog eats the cat then the cat likes the tiger.
((("dog" "eats" "cat" "+")) -> ("cat" "likes" "tiger" "+"))
The dog is big.
True
1
proof
[(triple8)]
("dog" "is" "big" "+")
triple8
The tiger does not need the dog.
False
1
inv-proof
[(triple16)]
("tiger" "needs" "dog" "-")
triple16
The cat does not like the tiger.
Unknown
inv-rconc
[@1: The cat likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "tiger" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the dog.[(triple3)] The cat does not eat the dog.[(triple4)] The cat is big.[(triple5)] The cat is kind.[(triple6)] The cat is round.[(triple7)] The dog is big.[(triple8)] The dog is young.[(triple9)] The dog likes the bald eagle.[(triple10)] The tiger eats the cat.[(triple11)] The tiger is young.[(triple12)] The tiger likes the bald eagle.[(triple13)] The tiger likes the cat.[(triple14)] The tiger needs the bald eagle.[(triple15)] The tiger needs the dog.[(triple16)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The cat does not eat the dog.
("cat" "eats" "dog" "-")
triple4
The cat is big.
("cat" "is" "big" "+")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple13
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple14
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple15
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple16