The bear chases the cow. The bear chases the tiger. The bear is cold. The cow chases the bear. The cow chases the rabbit. The cow is rough. The cow visits the tiger. The rabbit chases the tiger. The rabbit is blue. The rabbit is cold. The rabbit is rough. The rabbit is round. The tiger chases the bear. The tiger chases the cow. The tiger is rough. The tiger visits the cow. If someone is cold then they chase the rabbit. If the bear visits the tiger then the tiger needs the cow. If someone needs the cow and the cow chases the bear then the bear chases the rabbit. If someone visits the cow then they visit the bear. If someone chases the rabbit then they visit the cow. If someone needs the cow then they are cold.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone is cold then they chase the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "rabbit" "+"))
If the bear visits the tiger then the tiger needs the cow.
((("bear" "visits" "tiger" "+")) -> ("tiger" "needs" "cow" "+"))
If someone needs the cow and the cow chases the bear then the bear chases the rabbit.
((("someone" "needs" "cow" "+") ("cow" "chases" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
If someone visits the cow then they visit the bear.
((("someone" "visits" "cow" "+")) -> ("someone" "visits" "bear" "+"))
If someone chases the rabbit then they visit the cow.
((("someone" "chases" "rabbit" "+")) -> ("someone" "visits" "cow" "+"))
If someone needs the cow then they are cold.
((("someone" "needs" "cow" "+")) -> ("someone" "is" "cold" "+"))
The tiger is rough.
True
1
proof
[(triple15)]
("tiger" "is" "rough" "+")
triple15
The bear does not chase the cow.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cow" "-")
triple1
The tiger does not need the cow.
Unknown
inv-rconc
[@1: The tiger needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "cow" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the tiger.[(triple2)] The bear is cold.[(triple3)] The cow chases the bear.[(triple4)] The cow chases the rabbit.[(triple5)] The cow is rough.[(triple6)] The cow visits the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is rough.[(triple11)] The rabbit is round.[(triple12)] The tiger chases the bear.[(triple13)] The tiger chases the cow.[(triple14)] The tiger is rough.[(triple15)] The tiger visits the cow.[(triple16)] @1: The bear chases the rabbit.[(((triple3) -> rule1))] The cow visits the cow.[(((triple5) -> rule5))] The rabbit chases the rabbit.[(((triple10) -> rule1))] The tiger visits the bear.[(((triple16) -> rule4))] @2: The bear visits the cow.[(((((triple3) -> rule1)) -> rule5))] The cow visits the bear.[(((((triple5) -> rule5)) -> rule4))] The rabbit visits the cow.[(((((triple10) -> rule1)) -> rule5))] @3: The bear visits the bear.[(((((((triple3) -> rule1)) -> rule5)) -> rule4))] The rabbit visits the bear.[(((((((triple10) -> rule1)) -> rule5)) -> rule4))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The cow chases the bear.
("cow" "chases" "bear" "+")
triple4
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple7
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple13
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple14
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple16
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((triple3) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple5) -> (rule5 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple10) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
((triple16) -> (rule4 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The cow visits the bear.
("cow" "visits" "bear" "+")
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
((((triple10) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3