The bear is red. The bear is young. The cat chases the bear. The cat visits the dog. The cat visits the tiger. The dog chases the tiger. The dog is nice. The dog is young. The dog likes the cat. The dog likes the tiger. The tiger chases the cat. The tiger is big. The tiger is nice. The tiger likes the bear. The tiger likes the dog. The tiger visits the bear. If someone likes the dog and the dog chases the bear then the dog likes the cat. If someone is big then they visit the tiger. If someone is red and they chase the dog then the dog chases the cat. If someone likes the bear then they are big. If the tiger likes the bear then the bear chases the dog. If someone likes the bear then they are young.
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone likes the dog and the dog chases the bear then the dog likes the cat.
((("someone" "likes" "dog" "+") ("dog" "chases" "bear" "+")) -> ("dog" "likes" "cat" "+"))
If someone is big then they visit the tiger.
((("someone" "is" "big" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is red and they chase the dog then the dog chases the cat.
((("someone" "is" "red" "+") ("someone" "chases" "dog" "+")) -> ("dog" "chases" "cat" "+"))
If someone likes the bear then they are big.
((("someone" "likes" "bear" "+")) -> ("someone" "is" "big" "+"))
If the tiger likes the bear then the bear chases the dog.
((("tiger" "likes" "bear" "+")) -> ("bear" "chases" "dog" "+"))
If someone likes the bear then they are young.
((("someone" "likes" "bear" "+")) -> ("someone" "is" "young" "+"))
The tiger likes the bear.
True
1
proof
[(triple14)]
("tiger" "likes" "bear" "+")
triple14
The tiger is not big.
False
1
inv-proof
[(triple12 OR ((triple14) -> rule4))]
("tiger" "is" "big" "-")
triple12
((triple14) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bear chases the dog.
True
2
proof
[(((triple14) -> rule5))]
("bear" "chases" "dog" "+")
((triple14) -> (rule5 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear does not chase the dog.
False
2
inv-proof
[(((triple14) -> rule5))]
("bear" "chases" "dog" "-")
((triple14) -> (rule5 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The dog chases the cat.
True
4
proof
[(((triple1 ((triple14) -> rule5)) -> rule3))]
("dog" "chases" "cat" "+")
((triple1 ((triple14) -> (rule5 % int2))) -> (rule3 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The dog does not chase the cat.
False
4
inv-proof
[(((triple1 ((triple14) -> rule5)) -> rule3))]
("dog" "chases" "cat" "-")
((triple1 ((triple14) -> (rule5 % int2))) -> (rule3 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "big" "-")
The cat is young.
Unknown
rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "young" "+")
The dog does not visit the tiger.
Unknown
inv-rconc
[@2: The dog visits the tiger.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("dog" "visits" "tiger" "-")
The bear chases the tiger.
Unknown
random
[@0: The bear chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "tiger" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The tiger visits the dog.
Unknown
random
[@0: The tiger visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "dog" "+")
@0: The bear is red.[(triple1)] The bear is young.[(triple2)] The cat chases the bear.[(triple3)] The cat visits the dog.[(triple4)] The cat visits the tiger.[(triple5)] The dog chases the tiger.[(triple6)] The dog is nice.[(triple7)] The dog is young.[(triple8)] The dog likes the cat.[(triple9)] The dog likes the tiger.[(triple10)] The tiger chases the cat.[(triple11)] The tiger is big.[(triple12 OR ((triple14) -> rule4))] The tiger is nice.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the dog.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear chases the dog.[(((triple14) -> rule5))] The tiger is young.[(((triple14) -> rule6))] The tiger visits the tiger.[(((triple12) -> rule2) OR ((((triple14) -> rule4)) -> rule2))] @2: The dog chases the cat.[(((triple1 ((triple14) -> rule5)) -> rule3))]
The bear is red.
("bear" "is" "red" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The cat chases the bear.
("cat" "chases" "bear" "+")
triple3
The cat visits the dog.
("cat" "visits" "dog" "+")
triple4
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple5
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The dog likes the cat.
("dog" "likes" "cat" "+")
triple9
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple10
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple11
The tiger is big.
("tiger" "is" "big" "+")
triple12
((triple14) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple14
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple16
The bear chases the dog.
("bear" "chases" "dog" "+")
((triple14) -> (rule5 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((triple14) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple12) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
((((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple1 ((triple14) -> (rule5 % int2))) -> (rule3 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2