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