The bald eagle chases the cat. The bald eagle likes the dog. The cat chases the bald eagle. The cat is kind. The cat does not like the bald eagle. The cat needs the bald eagle. The dog chases the cat. The dog does not chase the tiger. The dog is not kind. The dog likes the cat. The dog likes the tiger. The tiger is green. If the cat chases the dog then the dog does not need the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
The dog is not kind.
("dog" "is" "kind" "-")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
If the cat chases the dog then the dog does not need the cat.
((("cat" "chases" "dog" "+")) -> ("dog" "needs" "cat" "-"))
The dog chases the cat.
True
1
proof
[(triple7)]
("dog" "chases" "cat" "+")
triple7
The cat does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("cat" "needs" "bald eagle" "-")
triple6
The tiger does not like the bald eagle.
Unknown
inv-random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle likes the dog.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat does not like the bald eagle.[(triple5)] The cat is kind.[(triple4)] The cat needs the bald eagle.[(triple6)] The dog chases the cat.[(triple7)] The dog does not chase the tiger.[(triple8)] The dog is not kind.[(triple9)] The dog likes the cat.[(triple10)] The dog likes the tiger.[(triple11)] The tiger is green.[(triple12)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
triple8
The dog is not kind.
("dog" "is" "kind" "-")
triple9
The dog likes the cat.
("dog" "likes" "cat" "+")
triple10
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12