The cat is round. The cat likes the cow. The cat likes the tiger. The cat needs the cow. The cat needs the tiger. The cow eats the cat. The cow is big. The cow is cold. The tiger eats the cat. The tiger is big. The tiger is cold. The tiger likes the cat. The tiger likes the cow. The tiger needs the cat. The tiger needs the cow. If someone eats the tiger then the tiger eats the cat.
The cat is round.
("cat" "is" "round" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
If someone eats the tiger then the tiger eats the cat.
((("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "cat" "+"))
The tiger is big.
True
1
proof
[(triple10)]
("tiger" "is" "big" "+")
triple10
The tiger does not eat the cat.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "cat" "-")
triple9
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cat is round.[(triple1)] The cat likes the cow.[(triple2)] The cat likes the tiger.[(triple3)] The cat needs the cow.[(triple4)] The cat needs the tiger.[(triple5)] The cow eats the cat.[(triple6)] The cow is big.[(triple7)] The cow is cold.[(triple8)] The tiger eats the cat.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger likes the cat.[(triple12)] The tiger likes the cow.[(triple13)] The tiger needs the cat.[(triple14)] The tiger needs the cow.[(triple15)]
The cat is round.
("cat" "is" "round" "+")
triple1
The cat likes the cow.
("cat" "likes" "cow" "+")
triple2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple3
The cat needs the cow.
("cat" "needs" "cow" "+")
triple4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple5
The cow eats the cat.
("cow" "eats" "cat" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple12
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple13
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple14
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple15