The bear eats the cow. The bear eats the tiger. The bear is kind. The bear likes the tiger. The cow chases the dog. The cow eats the bear. The cow eats the dog. The cow is kind. The cow likes the tiger. The dog chases the cow. The dog chases the tiger. The dog eats the bear. The dog eats the cow. The dog is cold. The dog is nice. The tiger eats the cow. If someone eats the dog then they eat the tiger. If someone eats the tiger then the tiger likes the bear. If someone chases the bear and the bear eats the tiger then they are nice. If the bear chases the dog and the bear likes the tiger then the bear likes the cow. If someone chases the dog then they like the bear. If someone is big and they eat the tiger then they like the cow. If someone likes the bear then the bear likes the tiger. If someone likes the bear then the bear is cold.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
If someone eats the dog then they eat the tiger.
((("someone" "eats" "dog" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the tiger then the tiger likes the bear.
((("someone" "eats" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
If someone chases the bear and the bear eats the tiger then they are nice.
((("someone" "chases" "bear" "+") ("bear" "eats" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If the bear chases the dog and the bear likes the tiger then the bear likes the cow.
((("bear" "chases" "dog" "+") ("bear" "likes" "tiger" "+")) -> ("bear" "likes" "cow" "+"))
If someone chases the dog then they like the bear.
((("someone" "chases" "dog" "+")) -> ("someone" "likes" "bear" "+"))
If someone is big and they eat the tiger then they like the cow.
((("someone" "is" "big" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the bear then the bear likes the tiger.
((("someone" "likes" "bear" "+")) -> ("bear" "likes" "tiger" "+"))
If someone likes the bear then the bear is cold.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "cold" "+"))
The cow eats the dog.
True
1
proof
[(triple7)]
("cow" "eats" "dog" "+")
triple7
The bear does not like the tiger.
False
1
inv-proof
[(triple4 OR ((((triple2) -> rule2)) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((((triple7) -> rule1)) -> rule2)) -> rule7))]
("bear" "likes" "tiger" "-")
triple4
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The tiger likes the bear.
True
2
proof
[(((triple2) -> rule2) OR ((((triple7) -> rule1)) -> rule2))]
("tiger" "likes" "bear" "+")
((triple2) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
The cow does not like the bear.
False
2
inv-proof
[(((triple5) -> rule5))]
("cow" "likes" "bear" "-")
((triple5) -> (rule5 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The bear is cold.
True
3
proof
[(((((triple2) -> rule2)) -> rule8) OR ((((triple5) -> rule5)) -> rule8) OR ((((((triple7) -> rule1)) -> rule2)) -> rule8))]
("bear" "is" "cold" "+")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The bear is not cold.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule8) OR ((((triple5) -> rule5)) -> rule8) OR ((((((triple7) -> rule1)) -> rule2)) -> rule8))]
("bear" "is" "cold" "-")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "nice" "-")
The bear likes the cow.
Unknown
rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "cow" "+")
The dog does not eat the tiger.
Unknown
inv-rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "tiger" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
The tiger does not chase the dog.
Unknown
inv-random
[@0: The tiger chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "dog" "-")
The bear chases the cow.
Unknown
random
[@0: The bear chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cow" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the tiger.[(triple2)] The bear is kind.[(triple3)] The bear likes the tiger.[(triple4 OR ((((triple2) -> rule2)) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((((triple7) -> rule1)) -> rule2)) -> rule7))] The cow chases the dog.[(triple5)] The cow eats the bear.[(triple6)] The cow eats the dog.[(triple7)] The cow is kind.[(triple8)] The cow likes the tiger.[(triple9)] The dog chases the cow.[(triple10)] The dog chases the tiger.[(triple11)] The dog eats the bear.[(triple12)] The dog eats the cow.[(triple13)] The dog is cold.[(triple14)] The dog is nice.[(triple15)] The tiger eats the cow.[(triple16)] @1: The cow eats the tiger.[(((triple7) -> rule1))] The cow likes the bear.[(((triple5) -> rule5))] The tiger likes the bear.[(((triple2) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] @2: The bear is cold.[(((((triple2) -> rule2)) -> rule8) OR ((((triple5) -> rule5)) -> rule8) OR ((((((triple7) -> rule1)) -> rule2)) -> rule8))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow eats the dog.
("cow" "eats" "dog" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple9
The dog chases the cow.
("dog" "chases" "cow" "+")
triple10
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple11
The dog eats the bear.
("dog" "eats" "bear" "+")
triple12
The dog eats the cow.
("dog" "eats" "cow" "+")
triple13
The dog is cold.
("dog" "is" "cold" "+")
triple14
The dog is nice.
("dog" "is" "nice" "+")
triple15
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple16
The cow eats the tiger.
("cow" "eats" "tiger" "+")
((triple7) -> (rule1 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
((triple5) -> (rule5 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
((triple2) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3