その建物周りは神示でない
fact1: もしも「この秘密保持規定は使い難くない」ということは成り立たないとすると「それは日持ちしないが程無い」ということは誤っている fact2: 親らしいものは物々しかないし括り付けない fact3: 「図右であるがしかし転勤しない」物はある fact4: もし「あのベルリン国立博物館は神示であるし含意する」ということは間違いであるならその建物周りは神示であるということはない fact5: あのベルリン国立博物館が神示であるとすればあの建物周りは判読する fact6: もしもあのベルリン国立博物館が含意するならその建物周りは神示だ fact7: 仮にこの秘密保持規定が動くがしかしそれが組み込めるということはないとしたら使い難い fact8: あのベルリン国立博物館は含意するし判読する fact9: もしも「「日持ちしないけれど程無い」ということは成り立たない」物はあるとすれば「その産業別は程無くない」ということは成り立つ fact10: あのベルリン国立博物館は判読する fact11: 「あのベルリン国立博物館は離れる」ということは成り立つ fact12: この秘密保持規定は動くけれど組み込めない fact13: あの養親子関係は判読しないならば「あのベルリン国立博物館は神示であるし含意する」ということは偽だ
fact8 -> int1: あのベルリン国立博物館は含意する; int1 & fact6 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact6 -> hypothesis;
その建物周りは神示でない
fact20 & fact18 -> int2: 「この秘密保持規定は使い難い」ということは確かだ; fact15 & int2 -> int3: 「この秘密保持規定は日持ちしない一方で程無い」ということは嘘だ; int3 -> int4: 「「日持ちしないけれど程無い」ということは偽な」物はある; int4 & fact21 -> int5: その産業別は程無くない; fact19 -> int6: その産業別が親らしいとすれば物々しかないし括り付けない;
$facts$ = fact1: もしも「この秘密保持規定は使い難くない」ということは成り立たないとすると「それは日持ちしないが程無い」ということは誤っている fact2: 親らしいものは物々しかないし括り付けない fact3: 「図右であるがしかし転勤しない」物はある fact4: もし「あのベルリン国立博物館は神示であるし含意する」ということは間違いであるならその建物周りは神示であるということはない fact5: あのベルリン国立博物館が神示であるとすればあの建物周りは判読する fact6: もしもあのベルリン国立博物館が含意するならその建物周りは神示だ fact7: 仮にこの秘密保持規定が動くがしかしそれが組み込めるということはないとしたら使い難い fact8: あのベルリン国立博物館は含意するし判読する fact9: もしも「「日持ちしないけれど程無い」ということは成り立たない」物はあるとすれば「その産業別は程無くない」ということは成り立つ fact10: あのベルリン国立博物館は判読する fact11: 「あのベルリン国立博物館は離れる」ということは成り立つ fact12: この秘密保持規定は動くけれど組み込めない fact13: あの養親子関係は判読しないならば「あのベルリン国立博物館は神示であるし含意する」ということは偽だ ; $hypothesis$ = その建物周りは神示でない ; $proof$ = 
fact8 -> int1: あのベルリン国立博物館は含意する; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「この秘密保持規定は使い難くない」ということは成り立たないとすると「それは日持ちしないが程無い」ということは誤っている
事実2: 親らしいものは物々しかないし括り付けない
事実3: 「図右であるがしかし転勤しない」物はある
事実4: もし「あのベルリン国立博物館は神示であるし含意する」ということは間違いであるならその建物周りは神示であるということはない
事実5: あのベルリン国立博物館が神示であるとすればあの建物周りは判読する
事実6: もしもあのベルリン国立博物館が含意するならその建物周りは神示だ
事実7: 仮にこの秘密保持規定が動くがしかしそれが組み込めるということはないとしたら使い難い
事実8: あのベルリン国立博物館は含意するし判読する
事実9: もしも「「日持ちしないけれど程無い」ということは成り立たない」物はあるとすれば「その産業別は程無くない」ということは成り立つ
事実10: あのベルリン国立博物館は判読する
事実11: 「あのベルリン国立博物館は離れる」ということは成り立つ
事実12: この秘密保持規定は動くけれど組み込めない
事実13: あの養親子関係は判読しないならば「あのベルリン国立博物館は神示であるし含意する」ということは偽だ

仮説: その建物周りは神示でない
1. 事実8から、推論1: "あのベルリン国立博物館は含意する"が導かれる
2. 推論1と事実6から、仮説が否定される

よって、仮説が否定されました。