The dog eats the mouse. The dog eats the tiger. The dog is kind. The dog is red. The dog does not visit the tiger. The mouse is kind. The mouse is nice. The mouse does not visit the tiger. The tiger eats the dog. The tiger eats the mouse. The tiger is big. The tiger is cold. The tiger is nice. The tiger needs the dog. The tiger needs the mouse. The tiger visits the dog. If the mouse is kind and the mouse is big then the mouse does not need the dog. If someone needs the tiger then the tiger does not visit the dog.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not visit the tiger.
("mouse" "visits" "tiger" "-")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If the mouse is kind and the mouse is big then the mouse does not need the dog.
((("mouse" "is" "kind" "+") ("mouse" "is" "big" "+")) -> ("mouse" "needs" "dog" "-"))
If someone needs the tiger then the tiger does not visit the dog.
((("someone" "needs" "tiger" "+")) -> ("tiger" "visits" "dog" "-"))
The tiger eats the mouse.
True
1
proof
[(triple10)]
("tiger" "eats" "mouse" "+")
triple10
The tiger is not big.
False
1
inv-proof
[(triple11)]
("tiger" "is" "big" "-")
triple11
The mouse does not visit the dog.
Unknown
inv-random
[@0: The mouse visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "dog" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The dog does not visit the tiger.[(triple5)] The dog eats the mouse.[(triple1)] The dog eats the tiger.[(triple2)] The dog is kind.[(triple3)] The dog is red.[(triple4)] The mouse does not visit the tiger.[(triple8)] The mouse is kind.[(triple6)] The mouse is nice.[(triple7)] The tiger eats the dog.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger needs the dog.[(triple14)] The tiger needs the mouse.[(triple15)] The tiger visits the dog.[(triple16)]
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
triple5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The mouse does not visit the tiger.
("mouse" "visits" "tiger" "-")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple9
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple14
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple15
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple16