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