repository = Repository.find_by_path('default')
%w(v__T strict_partial_order).each do |ontology_name|
  ontology = repository.ontologies.find_by_name(ontology_name)
  Proof.new({ontology_id: ontology.id},
            prove_asynchronously: false).save!
end

ontology = repository.ontologies.find_by_name('v__T')
theorem = ontology.theorems.find_by_name('antisymmetric')
Proof.new({ontology_id: ontology.id, theorem_id: theorem.id},
          prove_asynchronously: false).save!

repository = Repository.find_by_path('default')
%w(v__T strict_partial_order).each do |ontology_name|
  ontology = repository.ontologies.find_by_name(ontology_name)
  Proof.new({ontology_id: ontology.id,
             proof: {axiom_selection_method: 'manual_axiom_selection'}},
            prove_asynchronously: false).save!
end

ontology = repository.ontologies.find_by_name('v__T')
theorem = ontology.theorems.find_by_name('antisymmetric')
Proof.new({ontology_id: ontology.id,
           theorem_id: theorem.id,
           proof: {axiom_selection_method: 'manual_axiom_selection'}},
          prove_asynchronously: false).save!

Adjust seeds to use manual axiom selection.
Adjust seeds to use manual axiom selection.
