Premise: (The virtual machine is the program that interprets or, in some cases, compiles and runs the compact Java bytecodes that make up a Java program.)

Hypothesis: Java programs cannot be run on virtual machines.
Relation: contradiction