The bear chases the cow. The cow does not chase the tiger. The cow is not cold. The mouse eats the bear. The mouse is young. The mouse visits the bear. The tiger chases the mouse. The tiger eats the bear. The tiger visits the bear. The tiger does not visit the cow. If something visits the tiger then the tiger does not visit the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
The cow is not cold.
("cow" "is" "cold" "-")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
If something visits the tiger then the tiger does not visit the bear.
((("something" "visits" "tiger" "+")) -> ("tiger" "visits" "bear" "-"))
The mouse is young.
True
1
proof
[(triple5)]
("mouse" "is" "young" "+")
triple5
The tiger visits the cow.
False
1
inv-proof
[(triple10)]
("tiger" "visits" "cow" "+")
triple10
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The mouse chases the cow.
Unknown
random
[@0: The mouse chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cow" "+")
@0: The bear chases the cow.[(triple1)] The cow does not chase the tiger.[(triple2)] The cow is not cold.[(triple3)] The mouse eats the bear.[(triple4)] The mouse is young.[(triple5)] The mouse visits the bear.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger does not visit the cow.[(triple10)] The tiger eats the bear.[(triple8)] The tiger visits the bear.[(triple9)]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
triple2
The cow is not cold.
("cow" "is" "cold" "-")
triple3
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple6
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple7
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
triple10
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple9