Premis: Pada mesin vakum berdaya sedot tinggi itu, terdapat jalur yang terhubung ke beberapa kotak di dalamnya.
Hipotesis: Tidak terdapat jalur yang terhubung ke beberapa kotak di dalamnya.
Label: contradiction