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