The bald eagle is kind. The bald eagle is young. The bald eagle needs the bear. The bald eagle needs the dog. The bear is red. The bear likes the cat. The bear likes the dog. The cat is red. The cat likes the bald eagle. The cat likes the bear. The dog eats the bald eagle. The dog is round. If someone eats the bald eagle then the bald eagle is blue. If the dog needs the cat and the dog is red then the cat likes the bald eagle. If the dog eats the bald eagle and the dog likes the bald eagle then the dog needs the bear. If someone eats the bear and the bear is kind then the bear needs the cat. If the cat eats the bear and the cat is kind then the bear needs the cat. If someone is red then they eat the dog. If the bald eagle is blue then the bald eagle needs the bear. If someone eats the dog and they like the bear then they need the cat.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is round.
("dog" "is" "round" "+")
If someone eats the bald eagle then the bald eagle is blue.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If the dog needs the cat and the dog is red then the cat likes the bald eagle.
((("dog" "needs" "cat" "+") ("dog" "is" "red" "+")) -> ("cat" "likes" "bald eagle" "+"))
If the dog eats the bald eagle and the dog likes the bald eagle then the dog needs the bear.
((("dog" "eats" "bald eagle" "+") ("dog" "likes" "bald eagle" "+")) -> ("dog" "needs" "bear" "+"))
If someone eats the bear and the bear is kind then the bear needs the cat.
((("someone" "eats" "bear" "+") ("bear" "is" "kind" "+")) -> ("bear" "needs" "cat" "+"))
If the cat eats the bear and the cat is kind then the bear needs the cat.
((("cat" "eats" "bear" "+") ("cat" "is" "kind" "+")) -> ("bear" "needs" "cat" "+"))
If someone is red then they eat the dog.
((("someone" "is" "red" "+")) -> ("someone" "eats" "dog" "+"))
If the bald eagle is blue then the bald eagle needs the bear.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "needs" "bear" "+"))
If someone eats the dog and they like the bear then they need the cat.
((("someone" "eats" "dog" "+") ("someone" "likes" "bear" "+")) -> ("someone" "needs" "cat" "+"))
The bear likes the dog.
True
1
proof
[(triple7)]
("bear" "likes" "dog" "+")
triple7
The bald eagle is not young.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "young" "-")
triple2
The cat eats the dog.
True
2
proof
[(((triple8) -> rule6))]
("cat" "eats" "dog" "+")
((triple8) -> (rule6 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The bear does not eat the dog.
False
2
inv-proof
[(((triple5) -> rule6))]
("bear" "eats" "dog" "-")
((triple5) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The cat needs the cat.
True
4
proof
[(((((triple8) -> rule6) triple10) -> rule8))]
("cat" "needs" "cat" "+")
((((triple8) -> (rule6 % int2)) triple10) -> (rule8 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat does not need the cat.
False
4
inv-proof
[(((((triple8) -> rule6) triple10) -> rule8))]
("cat" "needs" "cat" "-")
((((triple8) -> (rule6 % int2)) triple10) -> (rule8 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The dog does not need the bear.
Unknown
inv-rconc
[@1: The dog needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "needs" "bear" "-")
The dog needs the cat.
Unknown
rconc
[@1: The dog needs the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "needs" "cat" "+")
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "eats" "dog" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the bear.[(triple3 OR ((((triple11) -> rule1)) -> rule7))] The bald eagle needs the dog.[(triple4)] The bear is red.[(triple5)] The bear likes the cat.[(triple6)] The bear likes the dog.[(triple7)] The cat is red.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat likes the bear.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog is round.[(triple12)] @1: The bald eagle is blue.[(((triple11) -> rule1))] The bear eats the dog.[(((triple5) -> rule6))] The cat eats the dog.[(((triple8) -> rule6))] @2: The cat needs the cat.[(((((triple8) -> rule6) triple10) -> rule8))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
((((triple11) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear likes the cat.
("bear" "likes" "cat" "+")
triple6
The bear likes the dog.
("bear" "likes" "dog" "+")
triple7
The cat is red.
("cat" "is" "red" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
The cat likes the bear.
("cat" "likes" "bear" "+")
triple10
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple11
The dog is round.
("dog" "is" "round" "+")
triple12
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple11) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple5) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
((triple8) -> (rule6 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((((triple8) -> (rule6 % int2)) triple10) -> (rule8 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2