The bear does not chase the tiger. The bear is cold. The bear is round. The bear needs the mouse. The bear does not need the tiger. The bear visits the mouse. The mouse needs the bear. The mouse needs the tiger. The squirrel chases the mouse. The squirrel chases the tiger. The squirrel is big. The squirrel is cold. The squirrel needs the mouse. The squirrel needs the tiger. The squirrel visits the tiger. The tiger is big. If someone is cold and they need the squirrel then the squirrel visits the mouse. If someone is green then they need the bear. If someone needs the squirrel then the squirrel visits the tiger. If the bear needs the tiger then the tiger is not rough. If someone chases the squirrel then the squirrel visits the bear. If the squirrel visits the tiger and the tiger visits the squirrel then the tiger is not cold.
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
If someone is cold and they need the squirrel then the squirrel visits the mouse.
((("someone" "is" "cold" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
If someone is green then they need the bear.
((("someone" "is" "green" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the squirrel then the squirrel visits the tiger.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "visits" "tiger" "+"))
If the bear needs the tiger then the tiger is not rough.
((("bear" "needs" "tiger" "+")) -> ("tiger" "is" "rough" "-"))
If someone chases the squirrel then the squirrel visits the bear.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If the squirrel visits the tiger and the tiger visits the squirrel then the tiger is not cold.
((("squirrel" "visits" "tiger" "+") ("tiger" "visits" "squirrel" "+")) -> ("tiger" "is" "cold" "-"))
The mouse needs the bear.
True
1
proof
[(triple7)]
("mouse" "needs" "bear" "+")
triple7
The squirrel does not visit the tiger.
False
1
inv-proof
[(triple15)]
("squirrel" "visits" "tiger" "-")
triple15
The squirrel does not visit the bear.
Unknown
inv-rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "visits" "bear" "-")
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 does not chase the tiger.[(triple1)] The bear does not need the tiger.[(triple5)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The bear needs the mouse.[(triple4)] The bear visits the mouse.[(triple6)] The mouse needs the bear.[(triple7)] The mouse needs the tiger.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel chases the tiger.[(triple10)] The squirrel is big.[(triple11)] The squirrel is cold.[(triple12)] The squirrel needs the mouse.[(triple13)] The squirrel needs the tiger.[(triple14)] The squirrel visits the tiger.[(triple15)] The tiger is big.[(triple16)]
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
triple1
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple6
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple7
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple13
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple14
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple15
The tiger is big.
("tiger" "is" "big" "+")
triple16