The bear does not chase the mouse. The bear chases the rabbit. The bear chases the tiger. The bear is rough. The bear needs the mouse. The mouse chases the rabbit. The mouse is big. The mouse is cold. The mouse is nice. The mouse does not like the tiger. The mouse needs the bear. The rabbit chases the bear. The rabbit is not nice. The rabbit needs the mouse. The tiger is not big. If something needs the tiger then the tiger is not rough. If something likes the bear then the bear is not rough.
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The tiger is not big.
("tiger" "is" "big" "-")
If something needs the tiger then the tiger is not rough.
((("something" "needs" "tiger" "+")) -> ("tiger" "is" "rough" "-"))
If something likes the bear then the bear is not rough.
((("something" "likes" "bear" "+")) -> ("bear" "is" "rough" "-"))
The bear does not chase the mouse.
True
1
proof
[(triple1)]
("bear" "chases" "mouse" "-")
triple1
The mouse does not chase the rabbit.
False
1
inv-proof
[(triple6)]
("mouse" "chases" "rabbit" "-")
triple6
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The bear chases the rabbit.[(triple2)] The bear chases the tiger.[(triple3)] The bear does not chase the mouse.[(triple1)] The bear is rough.[(triple4)] The bear needs the mouse.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse does not like the tiger.[(triple10)] The mouse is big.[(triple7)] The mouse is cold.[(triple8)] The mouse is nice.[(triple9)] The mouse needs the bear.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit needs the mouse.[(triple14)] The tiger is not big.[(triple15)]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple3
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple5
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple6
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple11
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple12
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple13
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple14
The tiger is not big.
("tiger" "is" "big" "-")
triple15