The tiger is blue. The tiger is not kind. The tiger is nice. The tiger is red. The tiger is rough. Red, kind people are rough.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
Red, kind people are rough.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
The tiger is rough.
True
1
proof
[(triple5)]
("tiger" "is" "rough" "+")
triple5
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is nice.[(triple3)] The tiger is not kind.[(triple2)] The tiger is red.[(triple4)] The tiger is rough.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
The tiger is not kind.
("tiger" "is" "kind" "-")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple4
The tiger is rough.
("tiger" "is" "rough" "+")
triple5