The bald eagle likes the cat. The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the tiger. The bear likes the tiger. The bear sees the tiger. The bear visits the tiger. The cat is green. The cat likes the bald eagle. The cat likes the tiger. The tiger does not like the bear. The tiger likes the cat. The tiger sees the bald eagle. The tiger sees the cat. The tiger visits the cat. If someone likes the bear and they like the cat then the cat does not like the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The tiger does not like the bear.
("tiger" "likes" "bear" "-")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone likes the bear and they like the cat then the cat does not like the bald eagle.
((("someone" "likes" "bear" "+") ("someone" "likes" "cat" "+")) -> ("cat" "likes" "bald eagle" "-"))
The tiger likes the cat.
True
1
proof
[(triple12)]
("tiger" "likes" "cat" "+")
triple12
The tiger likes the bear.
False
1
inv-proof
[(triple11)]
("tiger" "likes" "bear" "+")
triple11
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear sees the bald eagle.
Unknown
random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the tiger.[(triple4)] The bear likes the tiger.[(triple5)] The bear sees the tiger.[(triple6)] The bear visits the tiger.[(triple7)] The cat is green.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat likes the tiger.[(triple10)] The tiger does not like the bear.[(triple11)] The tiger likes the cat.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger sees the cat.[(triple14)] The tiger visits the cat.[(triple15)]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple7
The cat is green.
("cat" "is" "green" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple10
The tiger does not like the bear.
("tiger" "likes" "bear" "-")
triple11
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple12
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple13
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple15