The bear chases the cow. The bear chases the tiger. The bear is cold. The bear likes the dog. The bear visits the tiger. The cow chases the bear. The cow chases the tiger. The cow is nice. The cow visits the tiger. The dog chases the cow. The dog visits the tiger. The tiger chases the cow. The tiger is cold. The tiger is nice. The tiger visits the cow. If the bear visits the cow and the cow likes the dog then the bear chases the tiger. If someone chases the dog and they visit the bear then the dog visits the tiger. If the tiger visits the dog and the dog likes the cow then the tiger chases the cow. If someone visits the cow then they visit the bear. If someone likes the bear and the bear visits the tiger then the tiger is blue. If the dog likes the bear and the bear visits the cow then the dog is green. If the tiger is rough then the tiger visits the dog. If someone likes the cow then they chase the tiger.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If the bear visits the cow and the cow likes the dog then the bear chases the tiger.
((("bear" "visits" "cow" "+") ("cow" "likes" "dog" "+")) -> ("bear" "chases" "tiger" "+"))
If someone chases the dog and they visit the bear then the dog visits the tiger.
((("someone" "chases" "dog" "+") ("someone" "visits" "bear" "+")) -> ("dog" "visits" "tiger" "+"))
If the tiger visits the dog and the dog likes the cow then the tiger chases the cow.
((("tiger" "visits" "dog" "+") ("dog" "likes" "cow" "+")) -> ("tiger" "chases" "cow" "+"))
If someone visits the cow then they visit the bear.
((("someone" "visits" "cow" "+")) -> ("someone" "visits" "bear" "+"))
If someone likes the bear and the bear visits the tiger then the tiger is blue.
((("someone" "likes" "bear" "+") ("bear" "visits" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If the dog likes the bear and the bear visits the cow then the dog is green.
((("dog" "likes" "bear" "+") ("bear" "visits" "cow" "+")) -> ("dog" "is" "green" "+"))
If the tiger is rough then the tiger visits the dog.
((("tiger" "is" "rough" "+")) -> ("tiger" "visits" "dog" "+"))
If someone likes the cow then they chase the tiger.
((("someone" "likes" "cow" "+")) -> ("someone" "chases" "tiger" "+"))
The bear likes the dog.
True
1
proof
[(triple4)]
("bear" "likes" "dog" "+")
triple4
The bear does not like the dog.
False
1
inv-proof
[(triple4)]
("bear" "likes" "dog" "-")
triple4
The tiger visits the bear.
True
2
proof
[(((triple15) -> rule4))]
("tiger" "visits" "bear" "+")
((triple15) -> (rule4 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The tiger does not visit the bear.
False
2
inv-proof
[(((triple15) -> rule4))]
("tiger" "visits" "bear" "-")
((triple15) -> (rule4 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "blue" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "visits" "bear" "+")
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 dog chases the bear.
Unknown
random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the tiger.[(triple2)] The bear is cold.[(triple3)] The bear likes the dog.[(triple4)] The bear visits the tiger.[(triple5)] The cow chases the bear.[(triple6)] The cow chases the tiger.[(triple7)] The cow is nice.[(triple8)] The cow visits the tiger.[(triple9)] The dog chases the cow.[(triple10)] The dog visits the tiger.[(triple11)] The tiger chases the cow.[(triple12)] The tiger is cold.[(triple13)] The tiger is nice.[(triple14)] The tiger visits the cow.[(triple15)] @1: The tiger visits the bear.[(((triple15) -> 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 bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple5
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple9
The dog chases the cow.
("dog" "chases" "cow" "+")
triple10
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple11
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
((triple15) -> (rule4 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1