The bear eats the tiger. The bear is blue. The bear likes the dog. The bear likes the tiger. The bear needs the cow. The cow eats the tiger. The cow likes the bear. The cow needs the dog. The dog eats the tiger. The dog needs the tiger. The tiger likes the bear. The tiger likes the dog. If someone needs the bear and the bear needs the cow then the cow eats the tiger. If someone is kind then they eat the dog. If someone needs the tiger then they are big. If someone eats the dog then they like the tiger. If someone is blue then they like the cow. If someone likes the cow and they like the dog then they need the bear. If someone eats the tiger and they are big then they eat the cow. If someone needs the bear then the bear needs the tiger. If someone needs the cow and they are young then the cow is blue.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone needs the bear and the bear needs the cow then the cow eats the tiger.
((("someone" "needs" "bear" "+") ("bear" "needs" "cow" "+")) -> ("cow" "eats" "tiger" "+"))
If someone is kind then they eat the dog.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "dog" "+"))
If someone needs the tiger then they are big.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "big" "+"))
If someone eats the dog then they like the tiger.
((("someone" "eats" "dog" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is blue then they like the cow.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the cow and they like the dog then they need the bear.
((("someone" "likes" "cow" "+") ("someone" "likes" "dog" "+")) -> ("someone" "needs" "bear" "+"))
If someone eats the tiger and they are big then they eat the cow.
((("someone" "eats" "tiger" "+") ("someone" "is" "big" "+")) -> ("someone" "eats" "cow" "+"))
If someone needs the bear then the bear needs the tiger.
((("someone" "needs" "bear" "+")) -> ("bear" "needs" "tiger" "+"))
If someone needs the cow and they are young then the cow is blue.
((("someone" "needs" "cow" "+") ("someone" "is" "young" "+")) -> ("cow" "is" "blue" "+"))
The tiger likes the bear.
True
1
proof
[(triple11)]
("tiger" "likes" "bear" "+")
triple11
The cow does not need the dog.
False
1
inv-proof
[(triple8)]
("cow" "needs" "dog" "-")
triple8
The dog is big.
True
2
proof
[(((triple10) -> rule3))]
("dog" "is" "big" "+")
((triple10) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The bear does not like the cow.
False
2
inv-proof
[(((triple2) -> rule5))]
("bear" "likes" "cow" "-")
((triple2) -> (rule5 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear needs the bear.
True
4
proof
[(((((triple2) -> rule5) triple3) -> rule6))]
("bear" "needs" "bear" "+")
((((triple2) -> (rule5 % int2)) triple3) -> (rule6 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The dog does not eat the cow.
False
4
inv-proof
[(((triple9 ((triple10) -> rule3)) -> rule7))]
("dog" "eats" "cow" "-")
((triple9 ((triple10) -> (rule3 % int2))) -> (rule7 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The bear needs the tiger.
True
5
proof
[(((((((triple2) -> rule5) triple3) -> rule6)) -> rule8))]
("bear" "needs" "tiger" "+")
((((((triple2) -> (rule5 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear does not need the tiger.
False
5
inv-proof
[(((((((triple2) -> rule5) triple3) -> rule6)) -> rule8))]
("bear" "needs" "tiger" "-")
((((((triple2) -> (rule5 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear is big.
True
6
proof
[(((((((((triple2) -> rule5) triple3) -> rule6)) -> rule8)) -> rule3))]
("bear" "is" "big" "+")
((((((((triple2) -> (rule5 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear is not big.
False
6
inv-proof
[(((((((((triple2) -> rule5) triple3) -> rule6)) -> rule8)) -> rule3))]
("bear" "is" "big" "-")
((((((((triple2) -> (rule5 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear eats the cow.
True
8
proof
[(((triple1 ((((((((triple2) -> rule5) triple3) -> rule6)) -> rule8)) -> rule3)) -> rule7))]
("bear" "eats" "cow" "+")
((triple1 ((((((((triple2) -> (rule5 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bear likes the cow.
("bear" "likes" "cow" "+")
int5
The bear does not eat the cow.
False
8
inv-proof
[(((triple1 ((((((((triple2) -> rule5) triple3) -> rule6)) -> rule8)) -> rule3)) -> rule7))]
("bear" "eats" "cow" "-")
((triple1 ((((((((triple2) -> (rule5 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bear likes the cow.
("bear" "likes" "cow" "+")
int5
The cow does not eat the cow.
Unknown
inv-rconc
[@2: The cow eats the cow.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("cow" "eats" "cow" "-")
The dog likes the cow.
Unknown
rconc
[@1: The dog likes the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "likes" "cow" "+")
The cow does not like the tiger.
Unknown
inv-rconc
[@2: The cow likes the tiger.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("cow" "likes" "tiger" "-")
The cow is big.
Unknown
rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "big" "+")
The cow does not like the cow.
Unknown
inv-rconc
[@2: The cow likes the cow.[CWA. Example of deepest failure = (rule5 <- rule9 <- FAIL)]]
("cow" "likes" "cow" "-")
The cow needs the bear.
Unknown
rconc
[@1: The cow needs the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "needs" "bear" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The tiger needs the dog.
Unknown
random
[@0: The tiger needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "dog" "+")
The tiger does not need the cow.
Unknown
inv-random
[@0: The tiger needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "cow" "-")
The cow likes the dog.
Unknown
random
[@0: The cow likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "dog" "+")
The dog does not need the cow.
Unknown
inv-random
[@0: The dog needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear likes the dog.[(triple3)] The bear likes the tiger.[(triple4)] The bear needs the cow.[(triple5)] The cow eats the tiger.[(triple6 OR ((((((triple2) -> rule5) triple3) -> rule6) triple5) -> rule1))] The cow likes the bear.[(triple7)] The cow needs the dog.[(triple8)] The dog eats the tiger.[(triple9)] The dog needs the tiger.[(triple10)] The tiger likes the bear.[(triple11)] The tiger likes the dog.[(triple12)] @1: The bear likes the cow.[(((triple2) -> rule5))] The dog is big.[(((triple10) -> rule3))] @2: The bear needs the bear.[(((((triple2) -> rule5) triple3) -> rule6))] The dog eats the cow.[(((triple9 ((triple10) -> rule3)) -> rule7))] @3: The bear needs the tiger.[(((((((triple2) -> rule5) triple3) -> rule6)) -> rule8))] @4: The bear is big.[(((((((((triple2) -> rule5) triple3) -> rule6)) -> rule8)) -> rule3))] @5: The bear eats the cow.[(((triple1 ((((((((triple2) -> rule5) triple3) -> rule6)) -> rule8)) -> rule3)) -> rule7))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple6
((((((triple2) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The cow likes the bear.
("cow" "likes" "bear" "+")
triple7
The cow needs the dog.
("cow" "needs" "dog" "+")
triple8
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple9
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple10
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple11
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple12
The bear likes the cow.
("bear" "likes" "cow" "+")
((triple2) -> (rule5 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((triple10) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((((triple2) -> (rule5 % int2)) triple3) -> (rule6 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The dog eats the cow.
("dog" "eats" "cow" "+")
((triple9 ((triple10) -> (rule3 % int2))) -> (rule7 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
((((((triple2) -> (rule5 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear is big.
("bear" "is" "big" "+")
((((((((triple2) -> (rule5 % int4)) triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
((triple1 ((((((((triple2) -> (rule5 % int5)) triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bear likes the cow.
("bear" "likes" "cow" "+")
int5