The bear is cold. The bear needs the tiger. The bear visits the dog. The bear visits the mouse. The dog is red. The dog is young. The dog likes the bear. The dog likes the mouse. The dog likes the tiger. The dog needs the bear. The dog needs the mouse. The dog needs the tiger. The dog visits the tiger. The mouse needs the dog. The mouse visits the bear. The tiger is green. If someone needs the bear then the bear visits the mouse. All young people are rough. If the dog is rough and the dog is red then the dog needs the tiger. If someone needs the mouse and they visit the mouse then the mouse likes the bear. If someone likes the tiger and they are cold then the tiger is cold. All cold people are rough. If someone is cold and they need the bear then they like the bear. If someone likes the bear and the bear is green then the bear needs the dog.
The bear is cold.
("bear" "is" "cold" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone needs the bear then the bear visits the mouse.
((("someone" "needs" "bear" "+")) -> ("bear" "visits" "mouse" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If the dog is rough and the dog is red then the dog needs the tiger.
((("dog" "is" "rough" "+") ("dog" "is" "red" "+")) -> ("dog" "needs" "tiger" "+"))
If someone needs the mouse and they visit the mouse then the mouse likes the bear.
((("someone" "needs" "mouse" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "likes" "bear" "+"))
If someone likes the tiger and they are cold then the tiger is cold.
((("someone" "likes" "tiger" "+") ("someone" "is" "cold" "+")) -> ("tiger" "is" "cold" "+"))
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and they need the bear then they like the bear.
((("someone" "is" "cold" "+") ("someone" "needs" "bear" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bear and the bear is green then the bear needs the dog.
((("someone" "likes" "bear" "+") ("bear" "is" "green" "+")) -> ("bear" "needs" "dog" "+"))
The dog likes the tiger.
True
1
proof
[(triple9)]
("dog" "likes" "tiger" "+")
triple9
The bear does not need the tiger.
False
1
inv-proof
[(triple2)]
("bear" "needs" "tiger" "-")
triple2
The tiger does not like the bear.
Unknown
inv-rconc
[@1: The tiger likes the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "likes" "bear" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The bear is cold.[(triple1)] The bear needs the tiger.[(triple2)] The bear visits the dog.[(triple3)] The bear visits the mouse.[(triple4 OR ((triple10) -> rule1))] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the bear.[(triple7)] The dog likes the mouse.[(triple8)] The dog likes the tiger.[(triple9)] The dog needs the bear.[(triple10)] The dog needs the mouse.[(triple11)] The dog needs the tiger.[(triple12 OR ((((triple6) -> rule2) triple5) -> rule3))] The dog visits the tiger.[(triple13)] The mouse needs the dog.[(triple14)] The mouse visits the bear.[(triple15)] The tiger is green.[(triple16)] @1: The bear is rough.[(((triple1) -> rule6))] The dog is rough.[(((triple6) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
((triple10) -> (rule1 % int1))
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int1
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog likes the bear.
("dog" "likes" "bear" "+")
triple7
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple8
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple11
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple12
((((triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple13
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple14
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15
The tiger is green.
("tiger" "is" "green" "+")
triple16
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple6) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1