その麻疹ウイルスはＤＤＲでない
fact1: 燃え易くておまけに使い難くないものがあるとすればあの麻疹ウイルスはＤＤＲだということはない fact2: 参考法令等は使い難くないしかつ燃え易くない fact3: もしもこの別章はやんごとないとしたら「この十七世紀中頃は主題化しないがしかしそれは断罪する」ということは事実と異なる fact4: 「「この十七世紀中頃は主題化しない一方で断罪する」ということは誤りだ」ということは成り立つとしたらあのヘッダは御知らせしない fact5: 持続可能性は参考法令等でない fact6: なにかは底深くておまけに一周する fact7: 仮にこの十七世紀中頃は断罪しないとしたら「それは御知らせするかあるいは主題化するかどちらもだ」ということは誤りである fact8: この十七世紀中頃は断罪するということはない fact9: 「ＤＤＲである」物はある fact10: 「使い難くない」ものはある fact11: 「禁じ得るしさらに上塗りする」ものはある fact12: 使い難くなくてかつ燃え易くないものはＤＤＲだということはない fact13: もしなにかは燃え易いし使い難いとすればその麻疹ウイルスはＤＤＲでない fact14: もしもこの当該児童が利用し辛くない一方でそれが小汚いならあの一息付きは小汚いということはない fact15: もしもあのヘッダがＤＤＲであるならばその麻疹ウイルスはＤＤＲだ fact16: 「燃え易いけど使い難くない」物はある fact17: もしもなんらかの物は御知らせしなくて更に持続可能性でないとするとそれは参考法令等である fact18: この別章はやんごとない fact19: もしあの一息付きが小汚くないならあのヘッダは点検前でないしさらにそれは持続可能性でない fact20: 仮になんらかの物は参考法令等でないとすると「それは燃え易いがしかしＤＤＲでない」ということは誤りである
fact16 & fact1 -> hypothesis;
fact16 & fact1 -> hypothesis;
その麻疹ウイルスはＤＤＲだ
fact28 -> int1: もしあのヘッダが使い難くないしそれは燃え易くないならば「ＤＤＲだ」ということは真実である; fact22 -> int2: 仮にあのヘッダが参考法令等であるならそれは使い難くなくてそれは燃え易くない; fact24 -> int3: もしあのヘッダが御知らせしなくて持続可能性でないなら参考法令等である; fact27 & fact23 -> int4: 「「この十七世紀中頃は主題化しないけど断罪する」ということは誤りだ」ということは確かである; fact29 & int4 -> int5: あのヘッダは御知らせしない;
$facts$ = fact1: 燃え易くておまけに使い難くないものがあるとすればあの麻疹ウイルスはＤＤＲだということはない fact2: 参考法令等は使い難くないしかつ燃え易くない fact3: もしもこの別章はやんごとないとしたら「この十七世紀中頃は主題化しないがしかしそれは断罪する」ということは事実と異なる fact4: 「「この十七世紀中頃は主題化しない一方で断罪する」ということは誤りだ」ということは成り立つとしたらあのヘッダは御知らせしない fact5: 持続可能性は参考法令等でない fact6: なにかは底深くておまけに一周する fact7: 仮にこの十七世紀中頃は断罪しないとしたら「それは御知らせするかあるいは主題化するかどちらもだ」ということは誤りである fact8: この十七世紀中頃は断罪するということはない fact9: 「ＤＤＲである」物はある fact10: 「使い難くない」ものはある fact11: 「禁じ得るしさらに上塗りする」ものはある fact12: 使い難くなくてかつ燃え易くないものはＤＤＲだということはない fact13: もしなにかは燃え易いし使い難いとすればその麻疹ウイルスはＤＤＲでない fact14: もしもこの当該児童が利用し辛くない一方でそれが小汚いならあの一息付きは小汚いということはない fact15: もしもあのヘッダがＤＤＲであるならばその麻疹ウイルスはＤＤＲだ fact16: 「燃え易いけど使い難くない」物はある fact17: もしもなんらかの物は御知らせしなくて更に持続可能性でないとするとそれは参考法令等である fact18: この別章はやんごとない fact19: もしあの一息付きが小汚くないならあのヘッダは点検前でないしさらにそれは持続可能性でない fact20: 仮になんらかの物は参考法令等でないとすると「それは燃え易いがしかしＤＤＲでない」ということは誤りである ; $hypothesis$ = その麻疹ウイルスはＤＤＲでない ; $proof$ = 
fact16 & fact1 -> hypothesis; __PROVED__
事実1: 燃え易くておまけに使い難くないものがあるとすればあの麻疹ウイルスはＤＤＲだということはない
事実2: 参考法令等は使い難くないしかつ燃え易くない
事実3: もしもこの別章はやんごとないとしたら「この十七世紀中頃は主題化しないがしかしそれは断罪する」ということは事実と異なる
事実4: 「「この十七世紀中頃は主題化しない一方で断罪する」ということは誤りだ」ということは成り立つとしたらあのヘッダは御知らせしない
事実5: 持続可能性は参考法令等でない
事実6: なにかは底深くておまけに一周する
事実7: 仮にこの十七世紀中頃は断罪しないとしたら「それは御知らせするかあるいは主題化するかどちらもだ」ということは誤りである
事実8: この十七世紀中頃は断罪するということはない
事実9: 「ＤＤＲである」物はある
事実10: 「使い難くない」ものはある
事実11: 「禁じ得るしさらに上塗りする」ものはある
事実12: 使い難くなくてかつ燃え易くないものはＤＤＲだということはない
事実13: もしなにかは燃え易いし使い難いとすればその麻疹ウイルスはＤＤＲでない
事実14: もしもこの当該児童が利用し辛くない一方でそれが小汚いならあの一息付きは小汚いということはない
事実15: もしもあのヘッダがＤＤＲであるならばその麻疹ウイルスはＤＤＲだ
事実16: 「燃え易いけど使い難くない」物はある
事実17: もしもなんらかの物は御知らせしなくて更に持続可能性でないとするとそれは参考法令等である
事実18: この別章はやんごとない
事実19: もしあの一息付きが小汚くないならあのヘッダは点検前でないしさらにそれは持続可能性でない
事実20: 仮になんらかの物は参考法令等でないとすると「それは燃え易いがしかしＤＤＲでない」ということは誤りである

仮説: その麻疹ウイルスはＤＤＲでない
1. 事実16と事実1から、仮説が導かれる

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