The bear chases the cat. The bear eats the dog. The cat chases the bear. The cat eats the dog. The cat is young. The cat likes the dog. The dog chases the bear. The dog is nice. The dog is rough. The dog likes the cat. If the dog likes the bear then the dog eats the cat. If the bear is rough and the bear eats the dog then the bear chases the dog. If someone eats the dog then they eat the cat. If someone chases the bear and the bear chases the dog then they chase the cat. If someone chases the bear then they like the cat. If someone chases the dog and the dog likes the bear then the dog likes the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
If the dog likes the bear then the dog eats the cat.
((("dog" "likes" "bear" "+")) -> ("dog" "eats" "cat" "+"))
If the bear is rough and the bear eats the dog then the bear chases the dog.
((("bear" "is" "rough" "+") ("bear" "eats" "dog" "+")) -> ("bear" "chases" "dog" "+"))
If someone eats the dog then they eat the cat.
((("someone" "eats" "dog" "+")) -> ("someone" "eats" "cat" "+"))
If someone chases the bear and the bear chases the dog then they chase the cat.
((("someone" "chases" "bear" "+") ("bear" "chases" "dog" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the bear then they like the cat.
((("someone" "chases" "bear" "+")) -> ("someone" "likes" "cat" "+"))
If someone chases the dog and the dog likes the bear then the dog likes the cat.
((("someone" "chases" "dog" "+") ("dog" "likes" "bear" "+")) -> ("dog" "likes" "cat" "+"))
The dog chases the bear.
True
1
proof
[(triple7)]
("dog" "chases" "bear" "+")
triple7
The bear does not chase the cat.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cat" "-")
triple1
The cat eats the cat.
True
2
proof
[(((triple4) -> rule3))]
("cat" "eats" "cat" "+")
((triple4) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The bear does not eat the cat.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "eats" "cat" "-")
((triple2) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The dog does not eat the cat.
Unknown
inv-rconc
[@1: The dog eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "cat" "-")
The cat chases the cat.
Unknown
rconc
[@2: The cat chases the cat.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("cat" "chases" "cat" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the dog.[(triple2)] The cat chases the bear.[(triple3)] The cat eats the dog.[(triple4)] The cat is young.[(triple5)] The cat likes the dog.[(triple6)] The dog chases the bear.[(triple7)] The dog is nice.[(triple8)] The dog is rough.[(triple9)] The dog likes the cat.[(triple10 OR ((triple7) -> rule5))] @1: The bear eats the cat.[(((triple2) -> rule3))] The cat eats the cat.[(((triple4) -> rule3))] The cat likes the cat.[(((triple3) -> rule5))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The cat chases the bear.
("cat" "chases" "bear" "+")
triple3
The cat eats the dog.
("cat" "eats" "dog" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the dog.
("cat" "likes" "dog" "+")
triple6
The dog chases the bear.
("dog" "chases" "bear" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog likes the cat.
("dog" "likes" "cat" "+")
triple10
((triple7) -> (rule5 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple2) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple4) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple3) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1