The tiger is not cold. The tiger is green. The tiger is not kind. The tiger is rough. The tiger is not round. If someone is cold and kind then they are green. If someone is kind then they are cold.
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is not round.
("tiger" "is" "round" "-")
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
The tiger is not kind.
True
1
proof
[(triple3)]
("tiger" "is" "kind" "-")
triple3
The tiger is round.
False
1
inv-proof
[(triple5)]
("tiger" "is" "round" "+")
triple5
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 green.[(triple2)] The tiger is not cold.[(triple1)] The tiger is not kind.[(triple3)] The tiger is not round.[(triple5)] The tiger is rough.[(triple4)]
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is not cold.
("tiger" "is" "cold" "-")
triple1
The tiger is not kind.
("tiger" "is" "kind" "-")
triple3
The tiger is not round.
("tiger" "is" "round" "-")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple4