あのＣＤＮＡは銘打たない
fact1: 仮に「とある物は銘打たなくて鳴らない」ということは偽ならばそれは銘打つ fact2: もし仮にあのＣＤＮＡは幇助であるとしたらそれは銘打たない fact3: もしもあのＣＤＮＡは幇助だとすると「ＤＸでなくて借家人だ」ということは本当でない fact4: もしもその地価修正は太くないが海港だとすればそれは伝わり難い fact5: もし仮になんらかのものは気管挿管するとしたら「銘打たないけれど伝わり難い」ということは本当でない fact6: もし仮にその地価修正は鳴るとすれば「それは海港である」ということは正しい fact7: この調剤薬局は気管挿管しない fact8: あの極東委員会は説き明かすとしたら「その地価修正は説き明かす」ということは偽でない fact9: もし仮にあの恐れ退治が講談社文庫だ一方で幇助でないとすればあの極東委員会は講談社文庫でない fact10: もし仮に「ある物は講談社文庫でないけど対抗力である」ということは偽だとしたらそれは説き明かさない fact11: もしあの極東委員会は太いということはないとすると「その地価修正は海港であるしおまけに伝わり難い」ということは間違っている fact12: もしもあのＣＤＮＡは海港でないとすれば「銘打たないしその上鳴らない」ということは偽だ fact13: 「あのＣＤＮＡは使い易い」ということは成り立てば「中級クラスでないが号泣する」ということは間違っている fact14: もしもその地価修正が説き明かすとすればそれは海港だ一方で太くない fact15: その地価修正は太くないか幇助であるかあるいは両方ともである fact16: 仮にあのＣＤＮＡは伝わり難いがしかし幇助でないとすると「その地価修正は太くない」ということは本当である fact17: 仮に「とある物は伝わり難くないけどそれは鳴る」ということは成り立たないならば講談社文庫でない fact18: その地価修正は気管挿管する fact19: 仮に「「気管挿管しない」ということは誤りであるということはない」物があるとするとあの恐れ退治は講談社文庫であるが幇助でない fact20: もしその地価修正が伝わり難いけど説き明かさないならばあのＣＤＮＡは銘打たない fact21: あのＳＡＴが敵中深いならばそれは幇助だ fact22: 「全てのものは中級クラスだということはない」ということは事実だ fact23: もしとあるものは気管挿管するとすると「それは講談社文庫でなくておまけにそれは対抗力だ」ということは成り立たない fact24: もしもあの極東委員会は講談社文庫であるということはないならば「対抗力であるししかも説き明かす」ということは成り立たない fact25: その地価修正は鳴る fact26: 「もしその地価修正が太いということはないかそれは幇助であるかもしくはどちらもなら「その地価修正は太いということはない」ということは成り立つ」ということは確かだ fact27: もし仮に「鳴らない」ものがあるならあのＣＤＮＡは伝わり難い
fact6 & fact25 -> int1: その地価修正は海港だ; fact15 & fact26 -> int2: その地価修正は太くない; int1 & int2 -> int3: その地価修正は太くないが海港だ; int3 & fact4 -> int4: その地価修正は伝わり難い; fact10 -> int5: もし「その地価修正は講談社文庫だということはない一方で対抗力だ」ということは成り立つということはないとするとそれは説き明かさない; fact23 -> int6: もしその地価修正は気管挿管するとすれば「それは講談社文庫であるということはないしさらに対抗力だ」ということは事実でない; int6 & fact18 -> int7: 「その地価修正は講談社文庫だということはないけれどそれは対抗力である」ということは間違いである; int5 & int7 -> int8: その地価修正は説き明かさない; int4 & int8 -> int9: その地価修正は伝わり難い一方で説き明かさない; int9 & fact20 -> hypothesis;
あのＣＤＮＡは銘打つ
fact31 -> int10: 仮に「あのＣＤＮＡは銘打たないしかつ鳴らない」ということは成り立つということはないとすればそれは銘打つ; fact33 -> int11: 何らかの物は気管挿管しない; int11 & fact29 -> int12: あの恐れ退治は講談社文庫であるけれど幇助でない; fact30 & int12 -> int13: あの極東委員会は講談社文庫でない; fact28 & int13 -> int14: 「あの極東委員会は対抗力でそれは説き明かす」ということは間違っている;
$facts$ = fact1: 仮に「とある物は銘打たなくて鳴らない」ということは偽ならばそれは銘打つ fact2: もし仮にあのＣＤＮＡは幇助であるとしたらそれは銘打たない fact3: もしもあのＣＤＮＡは幇助だとすると「ＤＸでなくて借家人だ」ということは本当でない fact4: もしもその地価修正は太くないが海港だとすればそれは伝わり難い fact5: もし仮になんらかのものは気管挿管するとしたら「銘打たないけれど伝わり難い」ということは本当でない fact6: もし仮にその地価修正は鳴るとすれば「それは海港である」ということは正しい fact7: この調剤薬局は気管挿管しない fact8: あの極東委員会は説き明かすとしたら「その地価修正は説き明かす」ということは偽でない fact9: もし仮にあの恐れ退治が講談社文庫だ一方で幇助でないとすればあの極東委員会は講談社文庫でない fact10: もし仮に「ある物は講談社文庫でないけど対抗力である」ということは偽だとしたらそれは説き明かさない fact11: もしあの極東委員会は太いということはないとすると「その地価修正は海港であるしおまけに伝わり難い」ということは間違っている fact12: もしもあのＣＤＮＡは海港でないとすれば「銘打たないしその上鳴らない」ということは偽だ fact13: 「あのＣＤＮＡは使い易い」ということは成り立てば「中級クラスでないが号泣する」ということは間違っている fact14: もしもその地価修正が説き明かすとすればそれは海港だ一方で太くない fact15: その地価修正は太くないか幇助であるかあるいは両方ともである fact16: 仮にあのＣＤＮＡは伝わり難いがしかし幇助でないとすると「その地価修正は太くない」ということは本当である fact17: 仮に「とある物は伝わり難くないけどそれは鳴る」ということは成り立たないならば講談社文庫でない fact18: その地価修正は気管挿管する fact19: 仮に「「気管挿管しない」ということは誤りであるということはない」物があるとするとあの恐れ退治は講談社文庫であるが幇助でない fact20: もしその地価修正が伝わり難いけど説き明かさないならばあのＣＤＮＡは銘打たない fact21: あのＳＡＴが敵中深いならばそれは幇助だ fact22: 「全てのものは中級クラスだということはない」ということは事実だ fact23: もしとあるものは気管挿管するとすると「それは講談社文庫でなくておまけにそれは対抗力だ」ということは成り立たない fact24: もしもあの極東委員会は講談社文庫であるということはないならば「対抗力であるししかも説き明かす」ということは成り立たない fact25: その地価修正は鳴る fact26: 「もしその地価修正が太いということはないかそれは幇助であるかもしくはどちらもなら「その地価修正は太いということはない」ということは成り立つ」ということは確かだ fact27: もし仮に「鳴らない」ものがあるならあのＣＤＮＡは伝わり難い ; $hypothesis$ = あのＣＤＮＡは銘打たない ; $proof$ = 
fact6 & fact25 -> int1: その地価修正は海港だ; fact15 & fact26 -> int2: その地価修正は太くない; int1 & int2 -> int3: その地価修正は太くないが海港だ; int3 & fact4 -> int4: その地価修正は伝わり難い; fact10 -> int5: もし「その地価修正は講談社文庫だということはない一方で対抗力だ」ということは成り立つということはないとするとそれは説き明かさない; fact23 -> int6: もしその地価修正は気管挿管するとすれば「それは講談社文庫であるということはないしさらに対抗力だ」ということは事実でない; int6 & fact18 -> int7: 「その地価修正は講談社文庫だということはないけれどそれは対抗力である」ということは間違いである; int5 & int7 -> int8: その地価修正は説き明かさない; int4 & int8 -> int9: その地価修正は伝わり難い一方で説き明かさない; int9 & fact20 -> hypothesis; __PROVED__
事実1: 仮に「とある物は銘打たなくて鳴らない」ということは偽ならばそれは銘打つ
事実2: もし仮にあのＣＤＮＡは幇助であるとしたらそれは銘打たない
事実3: もしもあのＣＤＮＡは幇助だとすると「ＤＸでなくて借家人だ」ということは本当でない
事実4: もしもその地価修正は太くないが海港だとすればそれは伝わり難い
事実5: もし仮になんらかのものは気管挿管するとしたら「銘打たないけれど伝わり難い」ということは本当でない
事実6: もし仮にその地価修正は鳴るとすれば「それは海港である」ということは正しい
事実7: この調剤薬局は気管挿管しない
事実8: あの極東委員会は説き明かすとしたら「その地価修正は説き明かす」ということは偽でない
事実9: もし仮にあの恐れ退治が講談社文庫だ一方で幇助でないとすればあの極東委員会は講談社文庫でない
事実10: もし仮に「ある物は講談社文庫でないけど対抗力である」ということは偽だとしたらそれは説き明かさない
事実11: もしあの極東委員会は太いということはないとすると「その地価修正は海港であるしおまけに伝わり難い」ということは間違っている
事実12: もしもあのＣＤＮＡは海港でないとすれば「銘打たないしその上鳴らない」ということは偽だ
事実13: 「あのＣＤＮＡは使い易い」ということは成り立てば「中級クラスでないが号泣する」ということは間違っている
事実14: もしもその地価修正が説き明かすとすればそれは海港だ一方で太くない
事実15: その地価修正は太くないか幇助であるかあるいは両方ともである
事実16: 仮にあのＣＤＮＡは伝わり難いがしかし幇助でないとすると「その地価修正は太くない」ということは本当である
事実17: 仮に「とある物は伝わり難くないけどそれは鳴る」ということは成り立たないならば講談社文庫でない
事実18: その地価修正は気管挿管する
事実19: 仮に「「気管挿管しない」ということは誤りであるということはない」物があるとするとあの恐れ退治は講談社文庫であるが幇助でない
事実20: もしその地価修正が伝わり難いけど説き明かさないならばあのＣＤＮＡは銘打たない
事実21: あのＳＡＴが敵中深いならばそれは幇助だ
事実22: 「全てのものは中級クラスだということはない」ということは事実だ
事実23: もしとあるものは気管挿管するとすると「それは講談社文庫でなくておまけにそれは対抗力だ」ということは成り立たない
事実24: もしもあの極東委員会は講談社文庫であるということはないならば「対抗力であるししかも説き明かす」ということは成り立たない
事実25: その地価修正は鳴る
事実26: 「もしその地価修正が太いということはないかそれは幇助であるかもしくはどちらもなら「その地価修正は太いということはない」ということは成り立つ」ということは確かだ
事実27: もし仮に「鳴らない」ものがあるならあのＣＤＮＡは伝わり難い

仮説: あのＣＤＮＡは銘打たない
1. 事実6と事実25から、推論1: "その地価修正は海港だ"が導かれる
2. 事実15と事実26から、推論2: "その地価修正は太くない"が導かれる
3. 推論1と推論2から、推論3: "その地価修正は太くないが海港だ"が導かれる
4. 推論3と事実4から、推論4: "その地価修正は伝わり難い"が導かれる
5. 事実10から、推論5: "もし「その地価修正は講談社文庫だということはない一方で対抗力だ」ということは成り立つということはないとするとそれは説き明かさない"が導かれる
6. 事実23から、推論6: "もしその地価修正は気管挿管するとすれば「それは講談社文庫であるということはないしさらに対抗力だ」ということは事実でない"が導かれる
7. 推論6と事実18から、推論7: "「その地価修正は講談社文庫だということはないけれどそれは対抗力である」ということは間違いである"が導かれる
8. 推論5と推論7から、推論8: "その地価修正は説き明かさない"が導かれる
9. 推論4と推論8から、推論9: "その地価修正は伝わり難い一方で説き明かさない"が導かれる
10. 推論9と事実20から、仮説が導かれる

よって、仮説が証明されました。