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