The bear likes the cat. The bear likes the dog. The bear needs the cat. The bear needs the dog. The bear sees the cat. The cat is nice. The cat likes the bear. The cat needs the dog. The cat does not see the bear. The dog is rough. The dog likes the cat. The dog needs the bear. The dog needs the cat. The dog does not see the bear. The dog sees the cat. If something likes the bear and it likes the dog then the dog is big. If the bear needs the dog then the dog does not see the bear. If something needs the dog then it likes the dog.
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat does not see the bear.
("cat" "sees" "bear" "-")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog does not see the bear.
("dog" "sees" "bear" "-")
The dog sees the cat.
("dog" "sees" "cat" "+")
If something likes the bear and it likes the dog then the dog is big.
((("something" "likes" "bear" "+") ("something" "likes" "dog" "+")) -> ("dog" "is" "big" "+"))
If the bear needs the dog then the dog does not see the bear.
((("bear" "needs" "dog" "+")) -> ("dog" "sees" "bear" "-"))
If something needs the dog then it likes the dog.
((("something" "needs" "dog" "+")) -> ("something" "likes" "dog" "+"))
The dog is rough.
True
1
proof
[(triple10)]
("dog" "is" "rough" "+")
triple10
The dog does not need the cat.
False
1
inv-proof
[(triple13)]
("dog" "needs" "cat" "-")
triple13
The cat likes the dog.
True
2
proof
[(((triple8) -> rule3))]
("cat" "likes" "dog" "+")
((triple8) -> (rule3 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat does not like the dog.
False
2
inv-proof
[(((triple8) -> rule3))]
("cat" "likes" "dog" "-")
((triple8) -> (rule3 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The dog is big.
True
4
proof
[(((triple7 ((triple8) -> rule3)) -> rule1))]
("dog" "is" "big" "+")
((triple7 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog is not big.
False
4
inv-proof
[(((triple7 ((triple8) -> rule3)) -> rule1))]
("dog" "is" "big" "-")
((triple7 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog likes the bear.
Unknown
random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
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 see the dog.
Unknown
inv-random
[@0: The bear sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "dog" "-")
The cat needs the bear.
Unknown
random
[@0: The cat needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bear" "+")
@0: The bear likes the cat.[(triple1)] The bear likes the dog.[(triple2 OR ((triple4) -> rule3))] The bear needs the cat.[(triple3)] The bear needs the dog.[(triple4)] The bear sees the cat.[(triple5)] The cat does not see the bear.[(triple9)] The cat is nice.[(triple6)] The cat likes the bear.[(triple7)] The cat needs the dog.[(triple8)] The dog does not see the bear.[(triple14 OR ((triple4) -> rule2))] The dog is rough.[(triple10)] The dog likes the cat.[(triple11)] The dog needs the bear.[(triple12)] The dog needs the cat.[(triple13)] The dog sees the cat.[(triple15)] @1: The cat likes the dog.[(((triple8) -> rule3))] @2: The dog is big.[(((triple7 ((triple8) -> rule3)) -> rule1))]
The bear likes the cat.
("bear" "likes" "cat" "+")
triple1
The bear likes the dog.
("bear" "likes" "dog" "+")
triple2
((triple4) -> (rule3 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The bear sees the cat.
("bear" "sees" "cat" "+")
triple5
The cat does not see the bear.
("cat" "sees" "bear" "-")
triple9
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat likes the bear.
("cat" "likes" "bear" "+")
triple7
The cat needs the dog.
("cat" "needs" "dog" "+")
triple8
The dog does not see the bear.
("dog" "sees" "bear" "-")
triple14
((triple4) -> (rule2 % int1))
The dog does not see the bear.
("dog" "sees" "bear" "-")
int1
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog likes the cat.
("dog" "likes" "cat" "+")
triple11
The dog needs the bear.
("dog" "needs" "bear" "+")
triple12
The dog needs the cat.
("dog" "needs" "cat" "+")
triple13
The dog sees the cat.
("dog" "sees" "cat" "+")
triple15
The cat likes the dog.
("cat" "likes" "dog" "+")
((triple8) -> (rule3 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((triple7 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2