The bear chases the cat. The bear does not like the cow. The cat chases the bear. The cat chases the squirrel. The cat is young. The cat likes the bear. The cow chases the bear. The cow chases the cat. The cow does not like the bear. The squirrel sees the bear. If the cat is not red then the cat sees the bear. If someone sees the bear then they do not like the cat. If the cow chases the cat then the cow likes the cat. If the cat chases the cow then the cat is rough. If someone chases the cat and the cat likes the squirrel then the squirrel is green. If someone chases the cat and the cat chases the bear then the bear sees the cow. If the squirrel chases the cat then the squirrel is red. If the squirrel does not like the cat then the squirrel chases the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear does not like the cow.
("bear" "likes" "cow" "-")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow does not like the bear.
("cow" "likes" "bear" "-")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If the cat is not red then the cat sees the bear.
((("cat" "is" "red" "~")) -> ("cat" "sees" "bear" "+"))
If someone sees the bear then they do not like the cat.
((("someone" "sees" "bear" "+")) -> ("someone" "likes" "cat" "-"))
If the cow chases the cat then the cow likes the cat.
((("cow" "chases" "cat" "+")) -> ("cow" "likes" "cat" "+"))
If the cat chases the cow then the cat is rough.
((("cat" "chases" "cow" "+")) -> ("cat" "is" "rough" "+"))
If someone chases the cat and the cat likes the squirrel then the squirrel is green.
((("someone" "chases" "cat" "+") ("cat" "likes" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone chases the cat and the cat chases the bear then the bear sees the cow.
((("someone" "chases" "cat" "+") ("cat" "chases" "bear" "+")) -> ("bear" "sees" "cow" "+"))
If the squirrel chases the cat then the squirrel is red.
((("squirrel" "chases" "cat" "+")) -> ("squirrel" "is" "red" "+"))
If the squirrel does not like the cat then the squirrel chases the cat.
((("squirrel" "likes" "cat" "~")) -> ("squirrel" "chases" "cat" "+"))
The bear chases the cat.
True
1
proof
[(triple1)]
("bear" "chases" "cat" "+")
triple1
The squirrel does not see the bear.
False
1
inv-proof
[(triple10)]
("squirrel" "sees" "bear" "-")
triple10
The squirrel does not like the cat.
True
2
proof
[(((triple10) -> rule2))]
("squirrel" "likes" "cat" "-")
((triple10) -> (rule2 % int1))
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int1
The bear does not see the cow.
False
3
inv-proof
[(((triple1 triple3) -> rule6) OR ((triple8 triple3) -> rule6) OR ((((((triple10) -> rule2)) -> rule8) triple3) -> rule6))]
("bear" "sees" "cow" "-")
((triple1 triple3) -> (rule6 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
((triple8 triple3) -> (rule6 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int3
The squirrel chases the cat.
True
3
proof
[(((((triple10) -> rule2)) -> rule8))]
("squirrel" "chases" "cat" "+")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int2
The squirrel does not chase the cat.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule8))]
("squirrel" "chases" "cat" "-")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int2
The squirrel is red.
True
4
proof
[(((((((triple10) -> rule2)) -> rule8)) -> rule7))]
("squirrel" "is" "red" "+")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int3
The squirrel is not red.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule8)) -> rule7))]
("squirrel" "is" "red" "-")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int3
The cat does not see the bear.
Unknown
inv-rconc
[@1: The cat sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "bear" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "rough" "+")
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "green" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The squirrel likes the cow.
Unknown
random
[@0: The squirrel likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cow" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The bear chases the cat.[(triple1)] The bear does not like the cow.[(triple2)] The cat chases the bear.[(triple3)] The cat chases the squirrel.[(triple4)] The cat is young.[(triple5)] The cat likes the bear.[(triple6)] The cow chases the bear.[(triple7)] The cow chases the cat.[(triple8)] The cow does not like the bear.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear sees the cow.[(((triple1 triple3) -> rule6) OR ((triple8 triple3) -> rule6) OR ((((((triple10) -> rule2)) -> rule8) triple3) -> rule6))] The cow likes the cat.[(((triple8) -> rule3))] The squirrel does not like the cat.[(((triple10) -> rule2))] @2: The squirrel chases the cat.[(((((triple10) -> rule2)) -> rule8))] @3: The squirrel is red.[(((((((triple10) -> rule2)) -> rule8)) -> rule7))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not like the cow.
("bear" "likes" "cow" "-")
triple2
The cat chases the bear.
("cat" "chases" "bear" "+")
triple3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the bear.
("cat" "likes" "bear" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow chases the cat.
("cow" "chases" "cat" "+")
triple8
The cow does not like the bear.
("cow" "likes" "bear" "-")
triple9
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The bear sees the cow.
("bear" "sees" "cow" "+")
((triple1 triple3) -> (rule6 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
((triple8 triple3) -> (rule6 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int3
The cow likes the cat.
("cow" "likes" "cat" "+")
((triple8) -> (rule3 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
((triple10) -> (rule2 % int1))
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
int3