The bear is kind. The cat chases the bear. The cat chases the cow. The cat is rough. The cat likes the bear. The cat likes the rabbit. The cat visits the cow. The cow is nice. The cow likes the rabbit. The rabbit likes the cat. If someone is kind then they visit the bear. If the bear chases the rabbit and the rabbit is rough then the rabbit visits the cow. If someone likes the rabbit and they visit the bear then the bear likes the cow. If someone visits the cat then they like the rabbit. If someone is rough and they like the rabbit then they are kind. If someone visits the rabbit and the rabbit chases the bear then the rabbit visits the cat.
The bear is kind.
("bear" "is" "kind" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If someone is kind then they visit the bear.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "bear" "+"))
If the bear chases the rabbit and the rabbit is rough then the rabbit visits the cow.
((("bear" "chases" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "visits" "cow" "+"))
If someone likes the rabbit and they visit the bear then the bear likes the cow.
((("someone" "likes" "rabbit" "+") ("someone" "visits" "bear" "+")) -> ("bear" "likes" "cow" "+"))
If someone visits the cat then they like the rabbit.
((("someone" "visits" "cat" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is rough and they like the rabbit then they are kind.
((("someone" "is" "rough" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "is" "kind" "+"))
If someone visits the rabbit and the rabbit chases the bear then the rabbit visits the cat.
((("someone" "visits" "rabbit" "+") ("rabbit" "chases" "bear" "+")) -> ("rabbit" "visits" "cat" "+"))
The cat chases the cow.
True
1
proof
[(triple3)]
("cat" "chases" "cow" "+")
triple3
The cat is not rough.
False
1
inv-proof
[(triple4)]
("cat" "is" "rough" "-")
triple4
The bear visits the bear.
True
2
proof
[(((triple1) -> rule1))]
("bear" "visits" "bear" "+")
((triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "visits" "bear" "-")
((triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cat visits the bear.
True
4
proof
[(((((triple4 triple6) -> rule5)) -> rule1))]
("cat" "visits" "bear" "+")
((((triple4 triple6) -> (rule5 % int2))) -> (rule1 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not visit the bear.
False
4
inv-proof
[(((((triple4 triple6) -> rule5)) -> rule1))]
("cat" "visits" "bear" "-")
((((triple4 triple6) -> (rule5 % int2))) -> (rule1 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The bear likes the cow.
True
6
proof
[(((triple6 ((((triple4 triple6) -> rule5)) -> rule1)) -> rule3))]
("bear" "likes" "cow" "+")
((triple6 ((((triple4 triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The bear does not like the cow.
False
6
inv-proof
[(((triple6 ((((triple4 triple6) -> rule5)) -> rule1)) -> rule3))]
("bear" "likes" "cow" "-")
((triple6 ((((triple4 triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "kind" "-")
The bear likes the rabbit.
Unknown
rconc
[@1: The bear likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "rabbit" "+")
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "kind" "-")
The cow visits the bear.
Unknown
rconc
[@2: The cow visits the bear.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("cow" "visits" "bear" "+")
The rabbit does not chase the bear.
Unknown
inv-random
[@0: The rabbit chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bear" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The bear visits the rabbit.
Unknown
random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "+")
@0: The bear is kind.[(triple1)] The cat chases the bear.[(triple2)] The cat chases the cow.[(triple3)] The cat is rough.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the rabbit.[(triple6)] The cat visits the cow.[(triple7)] The cow is nice.[(triple8)] The cow likes the rabbit.[(triple9)] The rabbit likes the cat.[(triple10)] @1: The bear visits the bear.[(((triple1) -> rule1))] The cat is kind.[(((triple4 triple6) -> rule5))] @2: The cat visits the bear.[(((((triple4 triple6) -> rule5)) -> rule1))] @3: The bear likes the cow.[(((triple6 ((((triple4 triple6) -> rule5)) -> rule1)) -> rule3))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple2
The cat chases the cow.
("cat" "chases" "cow" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat likes the bear.
("cat" "likes" "bear" "+")
triple5
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple6
The cat visits the cow.
("cat" "visits" "cow" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple9
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple10
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple1) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((triple4 triple6) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
((((triple4 triple6) -> (rule5 % int2))) -> (rule1 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
((triple6 ((((triple4 triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3