The bald eagle likes the tiger. The tiger is cold. If someone visits the tiger and they chase the bald eagle then the bald eagle likes the tiger.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If someone visits the tiger and they chase the bald eagle then the bald eagle likes the tiger.
((("someone" "visits" "tiger" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "tiger" "+"))
The bald eagle likes the tiger.
True
1
proof
[(triple1)]
("bald eagle" "likes" "tiger" "+")
triple1
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "tiger" "-")
triple1
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle likes the tiger.[(triple1)] The tiger is cold.[(triple2)]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
triple2