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