The bear chases the tiger. The bear needs the squirrel. The mouse is green. The mouse is round. The mouse likes the tiger. The mouse needs the bear. The mouse needs the squirrel. The mouse needs the tiger. The squirrel chases the tiger. The squirrel likes the tiger. The tiger chases the squirrel. The tiger likes the squirrel. If someone likes the mouse then the mouse needs the squirrel. If someone likes the bear then the bear likes the tiger. If someone needs the tiger then the tiger needs the squirrel. If someone is young and they chase the mouse then they like the tiger. If the squirrel likes the bear then the bear is nice. If someone chases the tiger and they like the tiger then they need the mouse.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone likes the mouse then the mouse needs the squirrel.
((("someone" "likes" "mouse" "+")) -> ("mouse" "needs" "squirrel" "+"))
If someone likes the bear then the bear likes the tiger.
((("someone" "likes" "bear" "+")) -> ("bear" "likes" "tiger" "+"))
If someone needs the tiger then the tiger needs the squirrel.
((("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "squirrel" "+"))
If someone is young and they chase the mouse then they like the tiger.
((("someone" "is" "young" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "likes" "tiger" "+"))
If the squirrel likes the bear then the bear is nice.
((("squirrel" "likes" "bear" "+")) -> ("bear" "is" "nice" "+"))
If someone chases the tiger and they like the tiger then they need the mouse.
((("someone" "chases" "tiger" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "needs" "mouse" "+"))
The mouse likes the tiger.
True
1
proof
[(triple5)]
("mouse" "likes" "tiger" "+")
triple5
The mouse is not green.
False
1
inv-proof
[(triple3)]
("mouse" "is" "green" "-")
triple3
The tiger needs the squirrel.
True
2
proof
[(((triple8) -> rule3))]
("tiger" "needs" "squirrel" "+")
((triple8) -> (rule3 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The squirrel does not need the mouse.
False
3
inv-proof
[(((triple9 triple10) -> rule6))]
("squirrel" "needs" "mouse" "-")
((triple9 triple10) -> (rule6 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "nice" "-")
The bear needs the mouse.
Unknown
rconc
[@2: The bear needs the mouse.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("bear" "needs" "mouse" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The tiger chases the bear.
Unknown
random
[@0: The tiger chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bear" "+")
@0: The bear chases the tiger.[(triple1)] The bear needs the squirrel.[(triple2)] The mouse is green.[(triple3)] The mouse is round.[(triple4)] The mouse likes the tiger.[(triple5)] The mouse needs the bear.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse needs the tiger.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel likes the tiger.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The squirrel needs the mouse.[(((triple9 triple10) -> rule6))] The tiger needs the squirrel.[(((triple8) -> rule3))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
triple4
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple5
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple8
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple9
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple10
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple11
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple12
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
((triple9 triple10) -> (rule6 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
((triple8) -> (rule3 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1