The bear chases the cow. The bear is blue. The bear likes the cow. The bear likes the mouse. The cow needs the bear. The mouse is blue. The mouse likes the tiger. The tiger is blue. The tiger is nice. The tiger likes the cow. The tiger needs the bear. The tiger needs the mouse. If something likes the bear then the bear is rough. If something needs the bear and it likes the cow then the cow likes the tiger.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If something likes the bear then the bear is rough.
((("something" "likes" "bear" "+")) -> ("bear" "is" "rough" "+"))
If something needs the bear and it likes the cow then the cow likes the tiger.
((("something" "needs" "bear" "+") ("something" "likes" "cow" "+")) -> ("cow" "likes" "tiger" "+"))
The mouse likes the tiger.
True
1
proof
[(triple7)]
("mouse" "likes" "tiger" "+")
triple7
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The cow likes the tiger.
True
3
proof
[(((triple11 triple10) -> rule2))]
("cow" "likes" "tiger" "+")
((triple11 triple10) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow does not like the tiger.
False
3
inv-proof
[(((triple11 triple10) -> rule2))]
("cow" "likes" "tiger" "-")
((triple11 triple10) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The tiger does not chase the mouse.
Unknown
inv-random
[@0: The tiger chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "mouse" "-")
The tiger needs the cow.
Unknown
random
[@0: The tiger needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear is blue.[(triple2)] The bear likes the cow.[(triple3)] The bear likes the mouse.[(triple4)] The cow needs the bear.[(triple5)] The mouse is blue.[(triple6)] The mouse likes the tiger.[(triple7)] The tiger is blue.[(triple8)] The tiger is nice.[(triple9)] The tiger likes the cow.[(triple10)] The tiger needs the bear.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The cow likes the tiger.[(((triple11 triple10) -> rule2))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple4
The cow needs the bear.
("cow" "needs" "bear" "+")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple10
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple11
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple12
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple11 triple10) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1