The bear chases the dog. The dog chases the tiger. The dog is blue. The dog is green. The dog sees the tiger. The squirrel is big. The squirrel sees the tiger. The tiger chases the dog. The tiger likes the squirrel. The tiger sees the bear. If something is rough then it sees the tiger. If the tiger sees the bear then the tiger likes the dog. If something sees the tiger and the tiger likes the squirrel then it sees the dog. If something is round then it chases the bear. If something chases the squirrel and the squirrel sees the bear then the bear likes the tiger. If something chases the dog then it is rough.
The bear chases the dog.
("bear" "chases" "dog" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If something is rough then it sees the tiger.
((("something" "is" "rough" "+")) -> ("something" "sees" "tiger" "+"))
If the tiger sees the bear then the tiger likes the dog.
((("tiger" "sees" "bear" "+")) -> ("tiger" "likes" "dog" "+"))
If something sees the tiger and the tiger likes the squirrel then it sees the dog.
((("something" "sees" "tiger" "+") ("tiger" "likes" "squirrel" "+")) -> ("something" "sees" "dog" "+"))
If something is round then it chases the bear.
((("something" "is" "round" "+")) -> ("something" "chases" "bear" "+"))
If something chases the squirrel and the squirrel sees the bear then the bear likes the tiger.
((("something" "chases" "squirrel" "+") ("squirrel" "sees" "bear" "+")) -> ("bear" "likes" "tiger" "+"))
If something chases the dog then it is rough.
((("something" "chases" "dog" "+")) -> ("something" "is" "rough" "+"))
The dog chases the tiger.
True
1
proof
[(triple2)]
("dog" "chases" "tiger" "+")
triple2
The dog is not green.
False
1
inv-proof
[(triple4)]
("dog" "is" "green" "-")
triple4
The bear is rough.
True
2
proof
[(((triple1) -> rule6))]
("bear" "is" "rough" "+")
((triple1) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple8) -> rule6))]
("tiger" "is" "rough" "-")
((triple8) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear sees the tiger.
True
3
proof
[(((((triple1) -> rule6)) -> rule1))]
("bear" "sees" "tiger" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear does not see the tiger.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1))]
("bear" "sees" "tiger" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear does not like the tiger.
Unknown
inv-rconc
[@1: The bear likes the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "tiger" "-")
The tiger chases the bear.
Unknown
rconc
[@1: The tiger chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "chases" "bear" "+")
The squirrel does not chase the bear.
Unknown
inv-rconc
[@1: The squirrel chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bear chases the dog.[(triple1)] The dog chases the tiger.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog sees the tiger.[(triple5)] The squirrel is big.[(triple6)] The squirrel sees the tiger.[(triple7)] The tiger chases the dog.[(triple8)] The tiger likes the squirrel.[(triple9)] The tiger sees the bear.[(triple10)] @1: The bear is rough.[(((triple1) -> rule6))] The dog sees the dog.[(((triple5 triple9) -> rule3))] The squirrel sees the dog.[(((triple7 triple9) -> rule3))] The tiger is rough.[(((triple8) -> rule6))] The tiger likes the dog.[(((triple10) -> rule2))] @2: The bear sees the tiger.[(((((triple1) -> rule6)) -> rule1))] The tiger sees the tiger.[(((((triple8) -> rule6)) -> rule1))] @3: The bear sees the dog.[(((((((triple1) -> rule6)) -> rule1) triple9) -> rule3))] The tiger sees the dog.[(((((((triple8) -> rule6)) -> rule1) triple9) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple7
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple8
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple9
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple10
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple5 triple9) -> (rule3 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
((triple7 triple9) -> (rule3 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple8) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
((triple10) -> (rule2 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The bear sees the dog.
("bear" "sees" "dog" "+")
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The tiger sees the dog.
("tiger" "sees" "dog" "+")
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3