시작지점이 없게되니까 결론적으로 토마토가 다 익지 못하게 되니

-1이 나오는게 맞다고 보이네요~

"저장될 때부터 모든 토마토가 익어있는 상태이면" 또한 참인 명제 입니다.

명제: 저장될 때 상자에 있는 모든 토마토가 익어있다

=> 토마토가 상자에 있다 -> 그 토마토는 익어있다

=> 토마토가 익어있지 않다 -> 그 토마토는 상자에 없다.

=> 상자에 안익은 토마토는 없다 (참)

또다른 리즈닝

명제: 토마토가 상자에 있다 -> 그 토마토는 익어있다.

토마토가 상자에 없으면 이 명제는 어쨌든 참.