その画布は盗めない
fact1: あの輝緑凝灰岩製は身分登録証書だとしたら「この保守系無所属は一礼する」ということは確かである fact2: その画布は戦友である fact3: もしも「「この保守系無所属は真新しいがしかし意味付けでない」ということは誤りだ」ということは成り立つとすれば「あの輝緑凝灰岩製は引き渡す」ということは成り立たない fact4: あのクルド系は一礼する fact5: もしこの保守系無所属が身分登録証書だとすればその画布は指定出来る fact6: あの輝緑凝灰岩製が引き渡さないとしたらそれは五十パーセント台である fact7: なにかは指定出来ないがしかし政府・軍部であるとすればそれは身分登録証書でない fact8: 仮にその画布が身分登録証書であるとしたらこの保守系無所属は指定出来る fact9: 「その画布は指定出来る」ということは確かであるとすれば「それは身分登録証書だ」ということは事実である fact10: その画布は身分登録証書である fact11: 仮にあの輝緑凝灰岩製が一礼するとするとこの保守系無所属は身分登録証書である fact12: あるものが身分登録証書ならばそれは炊き上がらないかあるいは一礼するということはないかまたは両方である fact13: もしもあの輝緑凝灰岩製が炊き上がるとするとこの保守系無所属は身分登録証書である fact14: 何らかのものは指定出来れば「盗める」ということは成り立つ fact15: もしその画布が指定出来ればそれは炊き上がる fact16: この保守系無所属は指定出来る fact17: もし仮に「「その画布は炊き上がらない」ということは正しい」ということは本当でないとするとあの輝緑凝灰岩製は指定出来る fact18: 「あの輝緑凝灰岩製は一礼するかもしくは炊き上がるかまたは両方ともである」ということは真実である fact19: 仮にあの輝緑凝灰岩製が五十パーセント台であるとすれば指定出来ないし加えて政府・軍部である fact20: もしも何らかのものは身分登録証書でないとすると一礼するし加えて炊き上がる
fact18 & fact11 & fact13 -> int1: 「この保守系無所属は身分登録証書だ」ということは誤っていない; int1 & fact5 -> int2: その画布は指定出来る; fact14 -> int3: 仮にその画布が指定出来るとすればそれは盗める; int2 & int3 -> hypothesis;
その画布は盗めない
fact21 -> int4: もし仮にあの輝緑凝灰岩製が身分登録証書ならば炊き上がらないかもしくはそれは一礼しない;
$facts$ = fact1: あの輝緑凝灰岩製は身分登録証書だとしたら「この保守系無所属は一礼する」ということは確かである fact2: その画布は戦友である fact3: もしも「「この保守系無所属は真新しいがしかし意味付けでない」ということは誤りだ」ということは成り立つとすれば「あの輝緑凝灰岩製は引き渡す」ということは成り立たない fact4: あのクルド系は一礼する fact5: もしこの保守系無所属が身分登録証書だとすればその画布は指定出来る fact6: あの輝緑凝灰岩製が引き渡さないとしたらそれは五十パーセント台である fact7: なにかは指定出来ないがしかし政府・軍部であるとすればそれは身分登録証書でない fact8: 仮にその画布が身分登録証書であるとしたらこの保守系無所属は指定出来る fact9: 「その画布は指定出来る」ということは確かであるとすれば「それは身分登録証書だ」ということは事実である fact10: その画布は身分登録証書である fact11: 仮にあの輝緑凝灰岩製が一礼するとするとこの保守系無所属は身分登録証書である fact12: あるものが身分登録証書ならばそれは炊き上がらないかあるいは一礼するということはないかまたは両方である fact13: もしもあの輝緑凝灰岩製が炊き上がるとするとこの保守系無所属は身分登録証書である fact14: 何らかのものは指定出来れば「盗める」ということは成り立つ fact15: もしその画布が指定出来ればそれは炊き上がる fact16: この保守系無所属は指定出来る fact17: もし仮に「「その画布は炊き上がらない」ということは正しい」ということは本当でないとするとあの輝緑凝灰岩製は指定出来る fact18: 「あの輝緑凝灰岩製は一礼するかもしくは炊き上がるかまたは両方ともである」ということは真実である fact19: 仮にあの輝緑凝灰岩製が五十パーセント台であるとすれば指定出来ないし加えて政府・軍部である fact20: もしも何らかのものは身分登録証書でないとすると一礼するし加えて炊き上がる ; $hypothesis$ = その画布は盗めない ; $proof$ = 
fact18 & fact11 & fact13 -> int1: 「この保守系無所属は身分登録証書だ」ということは誤っていない; int1 & fact5 -> int2: その画布は指定出来る; fact14 -> int3: 仮にその画布が指定出来るとすればそれは盗める; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの輝緑凝灰岩製は身分登録証書だとしたら「この保守系無所属は一礼する」ということは確かである
事実2: その画布は戦友である
事実3: もしも「「この保守系無所属は真新しいがしかし意味付けでない」ということは誤りだ」ということは成り立つとすれば「あの輝緑凝灰岩製は引き渡す」ということは成り立たない
事実4: あのクルド系は一礼する
事実5: もしこの保守系無所属が身分登録証書だとすればその画布は指定出来る
事実6: あの輝緑凝灰岩製が引き渡さないとしたらそれは五十パーセント台である
事実7: なにかは指定出来ないがしかし政府・軍部であるとすればそれは身分登録証書でない
事実8: 仮にその画布が身分登録証書であるとしたらこの保守系無所属は指定出来る
事実9: 「その画布は指定出来る」ということは確かであるとすれば「それは身分登録証書だ」ということは事実である
事実10: その画布は身分登録証書である
事実11: 仮にあの輝緑凝灰岩製が一礼するとするとこの保守系無所属は身分登録証書である
事実12: あるものが身分登録証書ならばそれは炊き上がらないかあるいは一礼するということはないかまたは両方である
事実13: もしもあの輝緑凝灰岩製が炊き上がるとするとこの保守系無所属は身分登録証書である
事実14: 何らかのものは指定出来れば「盗める」ということは成り立つ
事実15: もしその画布が指定出来ればそれは炊き上がる
事実16: この保守系無所属は指定出来る
事実17: もし仮に「「その画布は炊き上がらない」ということは正しい」ということは本当でないとするとあの輝緑凝灰岩製は指定出来る
事実18: 「あの輝緑凝灰岩製は一礼するかもしくは炊き上がるかまたは両方ともである」ということは真実である
事実19: 仮にあの輝緑凝灰岩製が五十パーセント台であるとすれば指定出来ないし加えて政府・軍部である
事実20: もしも何らかのものは身分登録証書でないとすると一礼するし加えて炊き上がる

仮説: その画布は盗めない
1. 事実18と事実11と事実13から、推論1: "「この保守系無所属は身分登録証書だ」ということは誤っていない"が導かれる
2. 推論1と事実5から、推論2: "その画布は指定出来る"が導かれる
3. 事実14から、推論3: "仮にその画布が指定出来るとすればそれは盗める"が導かれる
4. 推論2と推論3から、仮説が否定される

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