The tiger is big. The tiger is green. The tiger is red. The tiger is rough. The tiger is young. If something is red and not young then it is rough.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something is red and not young then it is rough.
((("something" "is" "red" "+") ("something" "is" "young" "~")) -> ("something" "is" "rough" "+"))
The tiger is rough.
True
1
proof
[(triple4)]
("tiger" "is" "rough" "+")
triple4
The tiger is not big.
False
1
inv-proof
[(triple1)]
("tiger" "is" "big" "-")
triple1
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is red.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5