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