「その清潔ケアは創痛である」ということは成り立つ
fact1: もしもあるものが順守するならそれは創痛でないかもしくは放流するかまたはどちらもだ fact2: 仮にその同等性が言辞であるならその清潔ケアは順守するが密約しない fact3: その清潔ケアは拘束す fact4: 「「あの食肉処理場は継承する」ということは真実であるとすれば「あの食肉処理場は長い」ということは成り立つ」ということは成り立つ fact5: この連続縫合は創痛だ fact6: もしもその清潔ケアが放流する一方でそれが言辞でないとすればあの隅角部は放流しない fact7: あの食肉処理場は継承する fact8: この程度は創痛だ fact9: 仮に何らかの物は創痛でないかもしくは放流するかもしくは両方ともなら「創痛であるということはない」ということは事実だ fact10: 「長い」物があるとすればあの法律関係は御安心下さるということはないが掛け易い fact11: その清潔ケアは創痛である
fact11 -> hypothesis;
fact11 -> hypothesis;
その清潔ケアは創痛であるということはない
fact15 -> int1: その清潔ケアが創痛でないかあるいは放流するとしたら「創痛でない」ということは事実である; fact16 -> int2: もしその清潔ケアが順守するならそれは創痛だということはないかあるいはそれは放流する; fact12 & fact17 -> int3: あの食肉処理場は長い; int3 -> int4: 何らかの物は長い; int4 & fact14 -> int5: この法律関係は御安心下さらないけれど掛け易い; int5 -> int6: なんらかのものは御安心下さらないが掛け易い;
$facts$ = fact1: もしもあるものが順守するならそれは創痛でないかもしくは放流するかまたはどちらもだ fact2: 仮にその同等性が言辞であるならその清潔ケアは順守するが密約しない fact3: その清潔ケアは拘束す fact4: 「「あの食肉処理場は継承する」ということは真実であるとすれば「あの食肉処理場は長い」ということは成り立つ」ということは成り立つ fact5: この連続縫合は創痛だ fact6: もしもその清潔ケアが放流する一方でそれが言辞でないとすればあの隅角部は放流しない fact7: あの食肉処理場は継承する fact8: この程度は創痛だ fact9: 仮に何らかの物は創痛でないかもしくは放流するかもしくは両方ともなら「創痛であるということはない」ということは事実だ fact10: 「長い」物があるとすればあの法律関係は御安心下さるということはないが掛け易い fact11: その清潔ケアは創痛である ; $hypothesis$ = 「その清潔ケアは創痛である」ということは成り立つ ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: もしもあるものが順守するならそれは創痛でないかもしくは放流するかまたはどちらもだ
事実2: 仮にその同等性が言辞であるならその清潔ケアは順守するが密約しない
事実3: その清潔ケアは拘束す
事実4: 「「あの食肉処理場は継承する」ということは真実であるとすれば「あの食肉処理場は長い」ということは成り立つ」ということは成り立つ
事実5: この連続縫合は創痛だ
事実6: もしもその清潔ケアが放流する一方でそれが言辞でないとすればあの隅角部は放流しない
事実7: あの食肉処理場は継承する
事実8: この程度は創痛だ
事実9: 仮に何らかの物は創痛でないかもしくは放流するかもしくは両方ともなら「創痛であるということはない」ということは事実だ
事実10: 「長い」物があるとすればあの法律関係は御安心下さるということはないが掛け易い
事実11: その清潔ケアは創痛である

仮説: 「その清潔ケアは創痛である」ということは成り立つ
1. 事実11から、仮説が導かれる

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