The bald eagle does not like the tiger. The bear is not nice. The bear is rough. The bear is young. The dog is not young. The dog likes the bald eagle. The tiger is cold. If something likes the tiger and the tiger likes the bald eagle then the bald eagle is not cold.
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If something likes the tiger and the tiger likes the bald eagle then the bald eagle is not cold.
((("something" "likes" "tiger" "+") ("tiger" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "-"))
The bear is rough.
True
1
proof
[(triple3)]
("bear" "is" "rough" "+")
triple3
The bald eagle likes the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "tiger" "+")
triple1
The bear does not like the dog.
Unknown
inv-random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle does not like the tiger.[(triple1)] The bear is not nice.[(triple2)] The bear is rough.[(triple3)] The bear is young.[(triple4)] The dog is not young.[(triple5)] The dog likes the bald eagle.[(triple6)] The tiger is cold.[(triple7)]
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
triple1
The bear is not nice.
("bear" "is" "nice" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The dog is not young.
("dog" "is" "young" "-")
triple5
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple6
The tiger is cold.
("tiger" "is" "cold" "+")
triple7