The bear chases the squirrel. The bear needs the squirrel. The dog needs the squirrel. The squirrel chases the tiger. The squirrel needs the bear. The tiger is big. The tiger visits the squirrel. If someone needs the dog then they visit the tiger. If someone visits the squirrel and they are round then they are rough. If the tiger visits the bear then the bear visits the tiger. All rough people are cold. If someone needs the dog and the dog chases the tiger then the dog needs the tiger. If someone chases the tiger and the tiger needs the squirrel then the squirrel visits the dog.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone needs the dog then they visit the tiger.
((("someone" "needs" "dog" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the squirrel and they are round then they are rough.
((("someone" "visits" "squirrel" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If the tiger visits the bear then the bear visits the tiger.
((("tiger" "visits" "bear" "+")) -> ("bear" "visits" "tiger" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the dog and the dog chases the tiger then the dog needs the tiger.
((("someone" "needs" "dog" "+") ("dog" "chases" "tiger" "+")) -> ("dog" "needs" "tiger" "+"))
If someone chases the tiger and the tiger needs the squirrel then the squirrel visits the dog.
((("someone" "chases" "tiger" "+") ("tiger" "needs" "squirrel" "+")) -> ("squirrel" "visits" "dog" "+"))
The squirrel chases the tiger.
True
1
proof
[(triple4)]
("squirrel" "chases" "tiger" "+")
triple4
The tiger does not visit the squirrel.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "squirrel" "-")
triple7
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bear chases the squirrel.[(triple1)] The bear needs the squirrel.[(triple2)] The dog needs the squirrel.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel needs the bear.[(triple5)] The tiger is big.[(triple6)] The tiger visits the squirrel.[(triple7)]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple4
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple5
The tiger is big.
("tiger" "is" "big" "+")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7