The cow chases the tiger. The cow is big. The cow is blue. The cow is not nice. The cow is young. The cow likes the tiger. The cow visits the tiger. The tiger chases the cow. The tiger is not big. The tiger is blue. The tiger is nice. The tiger is red. The tiger is young. The tiger likes the cow. The tiger visits the cow. If someone chases the tiger and they are red then the tiger does not chase the cow.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone chases the tiger and they are red then the tiger does not chase the cow.
((("someone" "chases" "tiger" "+") ("someone" "is" "red" "+")) -> ("tiger" "chases" "cow" "-"))
The cow chases the tiger.
True
1
proof
[(triple1)]
("cow" "chases" "tiger" "+")
triple1
The cow is not big.
False
1
inv-proof
[(triple2)]
("cow" "is" "big" "-")
triple2
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The cow chases the tiger.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is not nice.[(triple4)] The cow is young.[(triple5)] The cow likes the tiger.[(triple6)] The cow visits the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger is blue.[(triple10)] The tiger is nice.[(triple11)] The tiger is not big.[(triple9)] The tiger is red.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cow.[(triple14)] The tiger visits the cow.[(triple15)]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is not nice.
("cow" "is" "nice" "-")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple6
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple7
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger is not big.
("tiger" "is" "big" "-")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15