{"action":"created","issue":{"url":"https://api.github.com/repos/ontohub/ontohub/issues/1321","labels_url":"https://api.github.com/repos/ontohub/ontohub/issues/1321/labels{/name}","comments_url":"https://api.github.com/repos/ontohub/ontohub/issues/1321/comments","events_url":"https://api.github.com/repos/ontohub/ontohub/issues/1321/events","html_url":"https://github.com/ontohub/ontohub/issues/1321","id":67960817,"number":1321,"title":"Report contradictory proof statuses","user":{"login":"tillmo","id":642775,"avatar_url":"https://avatars.githubusercontent.com/u/642775?v=3","gravatar_id":"","url":"https://api.github.com/users/tillmo","html_url":"https://github.com/tillmo","followers_url":"https://api.github.com/users/tillmo/followers","following_url":"https://api.github.com/users/tillmo/following{/other_user}","gists_url":"https://api.github.com/users/tillmo/gists{/gist_id}","starred_url":"https://api.github.com/users/tillmo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tillmo/subscriptions","organizations_url":"https://api.github.com/users/tillmo/orgs","repos_url":"https://api.github.com/users/tillmo/repos","events_url":"https://api.github.com/users/tillmo/events{/privacy}","received_events_url":"https://api.github.com/users/tillmo/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/ontohub/ontohub/milestones/8","html_url":"https://github.com/ontohub/ontohub/milestones/Reasoning","labels_url":"https://api.github.com/repos/ontohub/ontohub/milestones/8/labels","id":228498,"number":8,"title":"Reasoning","description":"","creator":{"login":"nning","id":557430,"avatar_url":"https://avatars.githubusercontent.com/u/557430?v=3","gravatar_id":"","url":"https://api.github.com/users/nning","html_url":"https://github.com/nning","followers_url":"https://api.github.com/users/nning/followers","following_url":"https://api.github.com/users/nning/following{/other_user}","gists_url":"https://api.github.com/users/nning/gists{/gist_id}","starred_url":"https://api.github.com/users/nning/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nning/subscriptions","organizations_url":"https://api.github.com/users/nning/orgs","repos_url":"https://api.github.com/users/nning/repos","events_url":"https://api.github.com/users/nning/events{/privacy}","received_events_url":"https://api.github.com/users/nning/received_events","type":"User","site_admin":false},"open_issues":20,"closed_issues":9,"state":"open","created_at":"2012-12-12T13:47:58Z","updated_at":"2015-04-13T05:50:46Z","due_on":"2015-02-28T08:00:00Z","closed_at":null},"comments":2,"created_at":"2015-04-12T21:15:27Z","updated_at":"2015-04-13T05:52:09Z","closed_at":null,"body":"For Ax2_20 of http://develop.ontohub.org/sandbox/Family2//FamilyBase///theorems, locally I got both THM and NOC. Such contradictory proof statuses should be reported at a special page, because they indicate a bug that should be fixed quickly."},"comment":{"url":"https://api.github.com/repos/ontohub/ontohub/issues/comments/92224853","html_url":"https://github.com/ontohub/ontohub/issues/1321#issuecomment-92224853","issue_url":"https://api.github.com/repos/ontohub/ontohub/issues/1321","id":92224853,"user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"created_at":"2015-04-13T05:52:09Z","updated_at":"2015-04-13T05:52:09Z","body":"Right, now they are a bug, but later they could be result of different configurations (e.g. axiom selection)."}}