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