Conjecture theorem_one_gtq in owlnat is Proved! in 0.2 seconds.
Conjecture theorem_reflexivity_of_equivalentClass in owl_core is Proved! in 0.0 seconds.
Conjecture theorem_not_AllDifferent_cons_xx in owl_core is Proved! in 0.0 seconds.
Conjecture theorem_type_identity in owl_core is Proved! in 0.1 seconds.
Conjecture theorem_reflexivity_of_sameAs in owl_core is Proved! in 0.0 seconds.
Conjecture theorem_singleton in owl_core is Proved! in 0.0 seconds.
Conjecture testcase_AllDifferent_Manifest_test in owl_core_test is Proved! in 0.1 seconds.
Conjecture theorem_type_choice in cardinality_core is Proved! in 0.1 seconds.
Conjecture theorem_subclass_Nothing_allValuesFrom_Nothing in property_restriction is Proved! in 0.0 seconds.
Conjecture not_theorem_someValuesFrom_Thing in property_restriction is Proved! in 0.1 seconds.
Conjecture theorem_type_someValuesFrom_Thing in property_restriction is Proved! in 0.1 seconds.
Conjecture theorem_card_1 in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_card_one_not_Nothing in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_card_zero_remove_is_nothing in cardinality is Proved! in 0.3 seconds.
Conjecture lemma_not_nothing_card_addone_plus in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_card_one_remove in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_one_gtq_card_remove_is_nothing in cardinality is Proved! in 0.2 seconds.
Conjecture theorem_cardone in cardinality is Proved! in 0.3 seconds.
Conjecture theorem_card_gtq_choice in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_card_two_not_nothing in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_card_two_remove_has_card_one in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_card_two_not_same in cardinality is Proved! in 0.4 seconds.
Conjecture theorem_card_two_not_three in cardinality is Proved! in 5.3 seconds.
Conjecture theorem_card_of_Nothing_is_zero in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_card_of_Thing_not_zero in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_subClass_of_image in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_Cardinality_one in cardinality is Proved! in 0.1 seconds.
Conjecture theorem_Cardinality_subClass_maxCardinality in cardinality is Proved! in 0.2 seconds.
Conjecture theorem_Cardinality_subClass_minCardinality in cardinality is Proved! in 0.4 seconds.
Conjecture theorem_maxCardinality_one in cardinality is Proved! in 0.5 seconds.
Conjecture theorem_minCardinality_one in cardinality is Proved! in 0.2 seconds.
Conjecture theorem_minCardinality_zero in cardinality is Proved! in 0.3 seconds.
Conjecture testcase_cardinality_002 in cardinality_test is Proved! in 0.6 seconds.
Conjecture theorem_Cardinality_two_not_same in cardinality_test is Proved! in 0.1 seconds.
Conjecture theorem_Cardinality_two_not_three in cardinality_test is Proved! in 5.2 seconds.
Conjecture theorem_Cardinality_not_same_zero in cardinality_test is Proved! in 0.1 seconds.
Conjecture theorem_Cardinality_not_same_one in cardinality_test is Proved! in 0.4 seconds.
Conjecture theorem_minCardinality_not_same_n in cardinality_test is Proved! in 0.7 seconds.
Conjecture theorem_Cardinality_not_same_n in cardinality_test is Proved! in 0.4 seconds.
Conjecture theorem_maxCardinality_not_different_n in cardinality_test is Proved! in 0.6 seconds.
Conjecture theorem_Cardinality_not_different_n in cardinality_test is Proved! in 0.9 seconds.
Conjecture theorem_Cardinality_two_Alldifferent in cardinality_test is Proved! in 0.2 seconds.
Conjecture theorem_intersectionOf_Nothing in owl_class_ops is Proved! in 0.1 seconds.
Conjecture theorem_intersectionOf_Thing in owl_class_ops is Proved! in 0.1 seconds.
Conjecture theorem_unionOf_Nothing in owl_class_ops is Proved! in 0.1 seconds.
Conjecture theorem_unionOf_Thing in owl_class_ops is Proved! in 0.1 seconds.
Conjecture theorem_complementOf_Nothing in owl_class_ops is Proved! in 0.1 seconds.
Conjecture theorem_complementOf_Thing in owl_class_ops is Proved! in 0.1 seconds.
Conjecture theorem_complements_are_disjoint in owl_class_ops is Proved! in 0.1 seconds.
Conjecture test_complementOf_001 in owl_class_ops_test is Proved! in 0.9 seconds.
Conjecture lemma_oneOf_vs_addOne in owl_class_ops is Proved! in 0.1 seconds.
Conjecture theorem_oneOf_vs_addOne in owl_class_ops is Proved! in 0.1 seconds.
Conjecture theorem_reflexivity_of_equivalentProperty in properties is Proved! in 0.2 seconds.
Conjecture theorem_inverseOf_is_symmetric in properties is Proved! in 0.2 seconds.
Conjecture testcase_FunctionalProperty_Manifest001_test in properties_test is Proved! in 0.1 seconds.
Conjecture testcase_FunctionalProperty_Manifest002_test in properties_test is Proved! in 0.1 seconds.
Conjecture theorem_inverseOf_Functional_is_InverseFunctional in properties is Proved! in 0.3 seconds.
Conjecture theorem_domain_and_range_of_symmetric_are_the_same in properties is Proved! in 0.3 seconds.
Conjecture example_chianti in properties is Proved! in 0.1 seconds.