The cow chases the dog. The cow chases the mouse. The cow chases the tiger. The cow eats the tiger. The cow is not blue. The cow is kind. The cow likes the dog. The dog likes the tiger. The mouse chases the tiger. The mouse eats the cow. The mouse is big. The tiger is blue. If someone chases the cow then they do not chase the tiger.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is not blue.
("cow" "is" "blue" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is big.
("mouse" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If someone chases the cow then they do not chase the tiger.
((("someone" "chases" "cow" "+")) -> ("someone" "chases" "tiger" "-"))
The cow eats the tiger.
True
1
proof
[(triple4)]
("cow" "eats" "tiger" "+")
triple4
The mouse does not chase the tiger.
False
1
inv-proof
[(triple9)]
("mouse" "chases" "tiger" "-")
triple9
The tiger does not chase the cow.
Unknown
inv-random
[@0: The tiger chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cow" "-")
The dog chases the cow.
Unknown
random
[@0: The dog chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cow" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the mouse.[(triple2)] The cow chases the tiger.[(triple3)] The cow eats the tiger.[(triple4)] The cow is kind.[(triple6)] The cow is not blue.[(triple5)] The cow likes the dog.[(triple7)] The dog likes the tiger.[(triple8)] The mouse chases the tiger.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is big.[(triple11)] The tiger is blue.[(triple12)]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple2
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow is not blue.
("cow" "is" "blue" "-")
triple5
The cow likes the dog.
("cow" "likes" "dog" "+")
triple7
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple8
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple9
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12