The cat eats the lion. The cow chases the cat. The cow is blue. The cow is nice. The dog does not chase the lion. The dog is blue. The dog is kind. The dog is young. The lion chases the dog. The lion eats the cat. The lion sees the cow. The lion sees the dog. If the lion eats the cow and the lion is young then the lion sees the cow. If the dog chases the cat and the dog sees the lion then the lion does not chase the dog.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is nice.
("cow" "is" "nice" "+")
The dog does not chase the lion.
("dog" "chases" "lion" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If the lion eats the cow and the lion is young then the lion sees the cow.
((("lion" "eats" "cow" "+") ("lion" "is" "young" "+")) -> ("lion" "sees" "cow" "+"))
If the dog chases the cat and the dog sees the lion then the lion does not chase the dog.
((("dog" "chases" "cat" "+") ("dog" "sees" "lion" "+")) -> ("lion" "chases" "dog" "-"))
The dog is kind.
True
1
proof
[(triple7)]
("dog" "is" "kind" "+")
triple7
The cow is not blue.
False
1
inv-proof
[(triple3)]
("cow" "is" "blue" "-")
triple3
The dog does not see the cat.
Unknown
inv-random
[@0: The dog sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat eats the lion.[(triple1)] The cow chases the cat.[(triple2)] The cow is blue.[(triple3)] The cow is nice.[(triple4)] The dog does not chase the lion.[(triple5)] The dog is blue.[(triple6)] The dog is kind.[(triple7)] The dog is young.[(triple8)] The lion chases the dog.[(triple9)] The lion eats the cat.[(triple10)] The lion sees the cow.[(triple11)] The lion sees the dog.[(triple12)]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cow chases the cat.
("cow" "chases" "cat" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The dog does not chase the lion.
("dog" "chases" "lion" "-")
triple5
The dog is blue.
("dog" "is" "blue" "+")
triple6
The dog is kind.
("dog" "is" "kind" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The lion chases the dog.
("lion" "chases" "dog" "+")
triple9
The lion eats the cat.
("lion" "eats" "cat" "+")
triple10
The lion sees the cow.
("lion" "sees" "cow" "+")
triple11
The lion sees the dog.
("lion" "sees" "dog" "+")
triple12