The bear chases the squirrel. The bear is cold. The bear is red. The bear is rough. The bear likes the squirrel. The bear needs the tiger. The cat is red. The cat needs the squirrel. The squirrel chases the cat. The squirrel chases the tiger. The squirrel needs the cat. The tiger chases the cat. The tiger likes the bear. The tiger likes the squirrel. If someone is cold then they need the cat. If someone needs the tiger and they like the cat then the tiger is red. If someone is red then they like the tiger. If someone chases the bear then the bear likes the cat. If someone chases the tiger and the tiger likes the squirrel then the squirrel needs the cat. If someone is rough and they like the tiger then the tiger chases the bear. If someone is rough then they need the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone is cold then they need the cat.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the tiger and they like the cat then the tiger is red.
((("someone" "needs" "tiger" "+") ("someone" "likes" "cat" "+")) -> ("tiger" "is" "red" "+"))
If someone is red then they like the tiger.
((("someone" "is" "red" "+")) -> ("someone" "likes" "tiger" "+"))
If someone chases the bear then the bear likes the cat.
((("someone" "chases" "bear" "+")) -> ("bear" "likes" "cat" "+"))
If someone chases the tiger and the tiger likes the squirrel then the squirrel needs the cat.
((("someone" "chases" "tiger" "+") ("tiger" "likes" "squirrel" "+")) -> ("squirrel" "needs" "cat" "+"))
If someone is rough and they like the tiger then the tiger chases the bear.
((("someone" "is" "rough" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "chases" "bear" "+"))
If someone is rough then they need the bear.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "bear" "+"))
The bear is cold.
True
1
proof
[(triple2)]
("bear" "is" "cold" "+")
triple2
The bear is not rough.
False
1
inv-proof
[(triple4)]
("bear" "is" "rough" "-")
triple4
The bear likes the tiger.
True
2
proof
[(((triple3) -> rule3))]
("bear" "likes" "tiger" "+")
((triple3) -> (rule3 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple4) -> rule7))]
("bear" "needs" "bear" "-")
((triple4) -> (rule7 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The tiger chases the bear.
True
4
proof
[(((triple4 ((triple3) -> rule3)) -> rule6))]
("tiger" "chases" "bear" "+")
((triple4 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The tiger does not chase the bear.
False
4
inv-proof
[(((triple4 ((triple3) -> rule3)) -> rule6))]
("tiger" "chases" "bear" "-")
((triple4 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The bear likes the cat.
True
5
proof
[(((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4))]
("bear" "likes" "cat" "+")
((((triple4 ((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int3
The bear does not like the cat.
False
5
inv-proof
[(((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4))]
("bear" "likes" "cat" "-")
((((triple4 ((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int3
The tiger is red.
True
7
proof
[(((triple6 ((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2))]
("tiger" "is" "red" "+")
((triple6 ((((triple4 ((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int4
The tiger is not red.
False
7
inv-proof
[(((triple6 ((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2))]
("tiger" "is" "red" "-")
((triple6 ((((triple4 ((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int4
The tiger likes the tiger.
True
8
proof
[(((((triple6 ((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2)) -> rule3))]
("tiger" "likes" "tiger" "+")
((((triple6 ((((triple4 ((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int5
The tiger does not like the tiger.
False
8
inv-proof
[(((((triple6 ((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2)) -> rule3))]
("tiger" "likes" "tiger" "-")
((((triple6 ((((triple4 ((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int5
The tiger does not need the cat.
Unknown
inv-rconc
[@1: The tiger needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "cat" "-")
The cat needs the cat.
Unknown
rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "cat" "+")
The squirrel does not like the tiger.
Unknown
inv-rconc
[@1: The squirrel likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "tiger" "-")
The tiger needs the bear.
Unknown
rconc
[@1: The tiger needs the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "needs" "bear" "+")
The squirrel does not need the bear.
Unknown
inv-rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "needs" "bear" "-")
The cat needs the bear.
Unknown
rconc
[@1: The cat needs the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "needs" "bear" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
The squirrel does not need the tiger.
Unknown
inv-random
[@0: The squirrel needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "tiger" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The bear needs the squirrel.
Unknown
random
[@0: The bear needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear likes the squirrel.[(triple5)] The bear needs the tiger.[(triple6)] The cat is red.[(triple7)] The cat needs the squirrel.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel chases the tiger.[(triple10)] The squirrel needs the cat.[(triple11 OR ((triple10 triple14) -> rule5))] The tiger chases the cat.[(triple12)] The tiger likes the bear.[(triple13)] The tiger likes the squirrel.[(triple14)] @1: The bear likes the tiger.[(((triple3) -> rule3))] The bear needs the bear.[(((triple4) -> rule7))] The bear needs the cat.[(((triple2) -> rule1))] The cat likes the tiger.[(((triple7) -> rule3))] @2: The tiger chases the bear.[(((triple4 ((triple3) -> rule3)) -> rule6))] @3: The bear likes the cat.[(((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4))] @4: The tiger is red.[(((triple6 ((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2))] @5: The tiger likes the tiger.[(((((triple6 ((((triple4 ((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2)) -> rule3))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple5
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple8
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple9
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple10
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple11
((triple10 triple14) -> (rule5 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple14
The bear likes the tiger.
("bear" "likes" "tiger" "+")
((triple3) -> (rule3 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple4) -> (rule7 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple2) -> (rule1 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple7) -> (rule3 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
((triple4 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
((((triple4 ((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
((triple6 ((((triple4 ((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple6 ((((triple4 ((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int5