The tiger is blue. The tiger is cold. The tiger is not kind. The tiger is red. The tiger is rough. Blue, kind things are cold.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
Blue, kind things are cold.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2)] The tiger is not kind.[(triple3)] The tiger is red.[(triple4)] The tiger is rough.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
triple2
The tiger is not kind.
("tiger" "is" "kind" "-")
triple3
The tiger is red.
("tiger" "is" "red" "+")
triple4
The tiger is rough.
("tiger" "is" "rough" "+")
triple5