The bear chases the cat. The bear chases the tiger. The bear is nice. The bear is young. The bear likes the cat. The bear likes the tiger. The bear sees the cat. The bear sees the tiger. The cat chases the tiger. The cat is kind. The cat likes the bear. The cat sees the bear. The cat sees the tiger. The tiger chases the bear. The tiger is nice. If someone likes the cat and the cat likes the bear then they are kind. If someone chases the cat and they chase the tiger then they like the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone likes the cat and the cat likes the bear then they are kind.
((("someone" "likes" "cat" "+") ("cat" "likes" "bear" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the cat and they chase the tiger then they like the bear.
((("someone" "chases" "cat" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "likes" "bear" "+"))
The cat is kind.
True
1
proof
[(triple10)]
("cat" "is" "kind" "+")
triple10
The cat does not see the bear.
False
1
inv-proof
[(triple12)]
("cat" "sees" "bear" "-")
triple12
The bear likes the bear.
True
3
proof
[(((triple1 triple2) -> rule2))]
("bear" "likes" "bear" "+")
((triple1 triple2) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is not kind.
False
3
inv-proof
[(((triple5 triple11) -> rule1))]
("bear" "is" "kind" "-")
((triple5 triple11) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The tiger is not kind.
Unknown
inv-rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "kind" "-")
The tiger likes the bear.
Unknown
rconc
[@1: The tiger likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "bear" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the tiger.[(triple2)] The bear is nice.[(triple3)] The bear is young.[(triple4)] The bear likes the cat.[(triple5)] The bear likes the tiger.[(triple6)] The bear sees the cat.[(triple7)] The bear sees the tiger.[(triple8)] The cat chases the tiger.[(triple9)] The cat is kind.[(triple10)] The cat likes the bear.[(triple11)] The cat sees the bear.[(triple12)] The cat sees the tiger.[(triple13)] The tiger chases the bear.[(triple14)] The tiger is nice.[(triple15)] @1: The bear is kind.[(((triple5 triple11) -> rule1))] The bear likes the bear.[(((triple1 triple2) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple6
The bear sees the cat.
("bear" "sees" "cat" "+")
triple7
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple8
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple9
The cat is kind.
("cat" "is" "kind" "+")
triple10
The cat likes the bear.
("cat" "likes" "bear" "+")
triple11
The cat sees the bear.
("cat" "sees" "bear" "+")
triple12
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple13
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple14
The tiger is nice.
("tiger" "is" "nice" "+")
triple15
The bear is kind.
("bear" "is" "kind" "+")
((triple5 triple11) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple1 triple2) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1