private static void fOL_OTTERDemo() {
System.out.println("---------------------------------------");
System.out.println("OTTER Like Theorem Prover, Kings Demo 1");
System.out.println("---------------------------------------");
kingsDemo1(new FOLOTTERLikeTheoremProver());
System.out.println("---------------------------------------");
System.out.println("OTTER Like Theorem Prover, Kings Demo 2");
System.out.println("---------------------------------------");
kingsDemo2(new FOLOTTERLikeTheoremProver());
System.out.println("---------------------------------------");
System.out.println("OTTER Like Theorem Prover, Weapons Demo");
System.out.println("---------------------------------------");
weaponsDemo(new FOLOTTERLikeTheoremProver());
System.out.println("--------------------------------------------");
System.out.println("OTTER Like Theorem Prover, Loves Animal Demo");
System.out.println("--------------------------------------------");
lovesAnimalDemo(new FOLOTTERLikeTheoremProver());
System.out
.println("--------------------------------------------------");
System.out
.println("OTTER Like Theorem Prover, ABC Equality Axiom Demo");
System.out
.println("--------------------------------------------------");
abcEqualityAxiomDemo(new FOLOTTERLikeTheoremProver(false));
System.out
.println("-----------------------------------------------------");
System.out
.println("OTTER Like Theorem Prover, ABC Equality No Axiom Demo");
System.out
.println("-----------------------------------------------------");
abcEqualityNoAxiomDemo(new FOLOTTERLikeTheoremProver(true));
}