The bear chases the cat. The bear likes the cat. The bear visits the dog. The cat chases the bear. The cat chases the dog. The cat chases the squirrel. The cat is rough. The cat likes the dog. The dog visits the bear. The squirrel visits the bear. If something chases the cat and the cat is nice then it is big. If something likes the squirrel then the squirrel is red. If the dog visits the squirrel then the dog visits the bear. If the cat likes the bear then the cat is big. If something visits the squirrel then it visits the bear. If something likes the squirrel then it chases the squirrel. If something is red then it likes the squirrel. If something likes the cat then it is red.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something chases the cat and the cat is nice then it is big.
((("something" "chases" "cat" "+") ("cat" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something likes the squirrel then the squirrel is red.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If the dog visits the squirrel then the dog visits the bear.
((("dog" "visits" "squirrel" "+")) -> ("dog" "visits" "bear" "+"))
If the cat likes the bear then the cat is big.
((("cat" "likes" "bear" "+")) -> ("cat" "is" "big" "+"))
If something visits the squirrel then it visits the bear.
((("something" "visits" "squirrel" "+")) -> ("something" "visits" "bear" "+"))
If something likes the squirrel then it chases the squirrel.
((("something" "likes" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
If something is red then it likes the squirrel.
((("something" "is" "red" "+")) -> ("something" "likes" "squirrel" "+"))
If something likes the cat then it is red.
((("something" "likes" "cat" "+")) -> ("something" "is" "red" "+"))
The cat chases the squirrel.
True
1
proof
[(triple6)]
("cat" "chases" "squirrel" "+")
triple6
The cat does not chase the bear.
False
1
inv-proof
[(triple4)]
("cat" "chases" "bear" "-")
triple4
The bear is red.
True
2
proof
[(((triple2) -> rule8))]
("bear" "is" "red" "+")
((triple2) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
2
inv-proof
[(((triple2) -> rule8))]
("bear" "is" "red" "-")
((triple2) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear likes the squirrel.
True
3
proof
[(((((triple2) -> rule8)) -> rule7))]
("bear" "likes" "squirrel" "+")
((((triple2) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear does not like the squirrel.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule7))]
("bear" "likes" "squirrel" "-")
((((triple2) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear chases the squirrel.
True
4
proof
[(((((((triple2) -> rule8)) -> rule7)) -> rule6))]
("bear" "chases" "squirrel" "+")
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel is not red.
False
4
inv-proof
[(((((((triple2) -> rule8)) -> rule7)) -> rule2))]
("squirrel" "is" "red" "-")
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel likes the squirrel.
True
5
proof
[(((((((((triple2) -> rule8)) -> rule7)) -> rule2)) -> rule7))]
("squirrel" "likes" "squirrel" "+")
((((((((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The squirrel does not like the squirrel.
False
5
inv-proof
[(((((((((triple2) -> rule8)) -> rule7)) -> rule2)) -> rule7))]
("squirrel" "likes" "squirrel" "-")
((((((((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The squirrel chases the squirrel.
True
6
proof
[(((((((((((triple2) -> rule8)) -> rule7)) -> rule2)) -> rule7)) -> rule6))]
("squirrel" "chases" "squirrel" "+")
((((((((((triple2) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
The squirrel does not chase the squirrel.
False
6
inv-proof
[(((((((((((triple2) -> rule8)) -> rule7)) -> rule2)) -> rule7)) -> rule6))]
("squirrel" "chases" "squirrel" "-")
((((((((((triple2) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "big" "-")
The dog likes the squirrel.
Unknown
rconc
[@2: The dog likes the squirrel.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("dog" "likes" "squirrel" "+")
The cat does not like the squirrel.
Unknown
inv-rconc
[@2: The cat likes the squirrel.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("cat" "likes" "squirrel" "-")
The dog chases the squirrel.
Unknown
rconc
[@3: The dog chases the squirrel.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule8 <- FAIL)]]
("dog" "chases" "squirrel" "+")
The cat does not visit the bear.
Unknown
inv-rconc
[@1: The cat visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "visits" "bear" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "red" "+")
The cat does not like the bear.
Unknown
inv-random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "-")
The bear likes the dog.
Unknown
random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The squirrel likes the cat.
Unknown
random
[@0: The squirrel likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cat" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bear chases the cat.[(triple1)] The bear likes the cat.[(triple2)] The bear visits the dog.[(triple3)] The cat chases the bear.[(triple4)] The cat chases the dog.[(triple5)] The cat chases the squirrel.[(triple6)] The cat is rough.[(triple7)] The cat likes the dog.[(triple8)] The dog visits the bear.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The bear is red.[(((triple2) -> rule8))] @2: The bear likes the squirrel.[(((((triple2) -> rule8)) -> rule7))] @3: The bear chases the squirrel.[(((((((triple2) -> rule8)) -> rule7)) -> rule6))] The squirrel is red.[(((((((triple2) -> rule8)) -> rule7)) -> rule2))] @4: The squirrel likes the squirrel.[(((((((((triple2) -> rule8)) -> rule7)) -> rule2)) -> rule7))] @5: The squirrel chases the squirrel.[(((((((((((triple2) -> rule8)) -> rule7)) -> rule2)) -> rule7)) -> rule6))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The cat chases the bear.
("cat" "chases" "bear" "+")
triple4
The cat chases the dog.
("cat" "chases" "dog" "+")
triple5
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat likes the dog.
("cat" "likes" "dog" "+")
triple8
The dog visits the bear.
("dog" "visits" "bear" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The bear is red.
("bear" "is" "red" "+")
((triple2) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
((((triple2) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((((((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((((((((triple2) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5