「あのコーデュロイは黒変するということはなくてそれは届き難いということはない」ということは事実と異なる
fact1: 仮にとある物は届き難くないなら「黒変するしそれは注意深くない」ということは事実と異なる fact2: 「なんらかのものは黒変するけれど注意深くない」ということは嘘であるなら宜しくない fact3: 「この語り方は名門中でないけれど見え難い」ということは成り立たないならば宜しい fact4: 仮にこの語り方が宜しくないとすればあのライナ達は運搬するしおまけに名門中である fact5: もしこの語り方が嗅ぎ回らないかもしくはそれは届き難くないかあるいは両方ともだとしたら届き難くない fact6: もし仮にこのロゴ作成は注意深くないならば「あのコーデュロイは黒変しないしそれにそれは届き難くない」ということは間違いだ fact7: このロゴ作成は注意深いかまたはそれは名門中であるかもしくは両方ともだ fact8: もし仮に「この語り方は届き難いということはないけれどそれは見え難い」ということは成り立たないとしたら運搬する fact9: もし仮にこの語り方が宜しいかあるいは運搬するかどちらもであるならばあのロゴ作成は注意深いということはない fact10: 「あのコーデュロイは黒変しない一方で届き難い」ということは成り立たない fact11: 「この語り方は名門中でないがしかし見え難い」ということは成り立たない fact12: 「あのコーデュロイは日照量でないがしかしすっごーい」ということは間違っている fact13: もしある物が報じるならそれは嗅ぎ回らないかあるいはそれは届き難くない fact14: もし仮にこの語り方は運搬しないなら「あのコーデュロイは届き難くないししかも名門中でない」ということは成り立たない fact15: もしこの語り方は注意深くないとすると「このロゴ作成は名門中でないしまたそれは見え難くない」ということは偽だ
fact3 & fact11 -> int1: この語り方は宜しい; int1 -> int2: この語り方は宜しいかあるいは運搬するかもしくは両方である; int2 & fact9 -> int3: このロゴ作成は注意深いということはない; int3 & fact6 -> hypothesis;
あのライナ達は名門中である
fact17 -> int4: もし「この語り方は黒変する一方でそれは注意深くない」ということは誤っていれば「宜しくない」ということは成り立つ; fact16 -> int5: 「仮にこの語り方は届き難くないとすれば「この語り方は黒変するけど注意深いということはない」ということは成り立たない」ということは事実である; fact18 -> int6: もしもこの語り方が報じれば嗅ぎ回らないかまたは届き難くないかまたはどちらもだ;
$facts$ = fact1: 仮にとある物は届き難くないなら「黒変するしそれは注意深くない」ということは事実と異なる fact2: 「なんらかのものは黒変するけれど注意深くない」ということは嘘であるなら宜しくない fact3: 「この語り方は名門中でないけれど見え難い」ということは成り立たないならば宜しい fact4: 仮にこの語り方が宜しくないとすればあのライナ達は運搬するしおまけに名門中である fact5: もしこの語り方が嗅ぎ回らないかもしくはそれは届き難くないかあるいは両方ともだとしたら届き難くない fact6: もし仮にこのロゴ作成は注意深くないならば「あのコーデュロイは黒変しないしそれにそれは届き難くない」ということは間違いだ fact7: このロゴ作成は注意深いかまたはそれは名門中であるかもしくは両方ともだ fact8: もし仮に「この語り方は届き難いということはないけれどそれは見え難い」ということは成り立たないとしたら運搬する fact9: もし仮にこの語り方が宜しいかあるいは運搬するかどちらもであるならばあのロゴ作成は注意深いということはない fact10: 「あのコーデュロイは黒変しない一方で届き難い」ということは成り立たない fact11: 「この語り方は名門中でないがしかし見え難い」ということは成り立たない fact12: 「あのコーデュロイは日照量でないがしかしすっごーい」ということは間違っている fact13: もしある物が報じるならそれは嗅ぎ回らないかあるいはそれは届き難くない fact14: もし仮にこの語り方は運搬しないなら「あのコーデュロイは届き難くないししかも名門中でない」ということは成り立たない fact15: もしこの語り方は注意深くないとすると「このロゴ作成は名門中でないしまたそれは見え難くない」ということは偽だ ; $hypothesis$ = 「あのコーデュロイは黒変するということはなくてそれは届き難いということはない」ということは事実と異なる ; $proof$ = 
fact3 & fact11 -> int1: この語り方は宜しい; int1 -> int2: この語り方は宜しいかあるいは運搬するかもしくは両方である; int2 & fact9 -> int3: このロゴ作成は注意深いということはない; int3 & fact6 -> hypothesis; __PROVED__
事実1: 仮にとある物は届き難くないなら「黒変するしそれは注意深くない」ということは事実と異なる
事実2: 「なんらかのものは黒変するけれど注意深くない」ということは嘘であるなら宜しくない
事実3: 「この語り方は名門中でないけれど見え難い」ということは成り立たないならば宜しい
事実4: 仮にこの語り方が宜しくないとすればあのライナ達は運搬するしおまけに名門中である
事実5: もしこの語り方が嗅ぎ回らないかもしくはそれは届き難くないかあるいは両方ともだとしたら届き難くない
事実6: もし仮にこのロゴ作成は注意深くないならば「あのコーデュロイは黒変しないしそれにそれは届き難くない」ということは間違いだ
事実7: このロゴ作成は注意深いかまたはそれは名門中であるかもしくは両方ともだ
事実8: もし仮に「この語り方は届き難いということはないけれどそれは見え難い」ということは成り立たないとしたら運搬する
事実9: もし仮にこの語り方が宜しいかあるいは運搬するかどちらもであるならばあのロゴ作成は注意深いということはない
事実10: 「あのコーデュロイは黒変しない一方で届き難い」ということは成り立たない
事実11: 「この語り方は名門中でないがしかし見え難い」ということは成り立たない
事実12: 「あのコーデュロイは日照量でないがしかしすっごーい」ということは間違っている
事実13: もしある物が報じるならそれは嗅ぎ回らないかあるいはそれは届き難くない
事実14: もし仮にこの語り方は運搬しないなら「あのコーデュロイは届き難くないししかも名門中でない」ということは成り立たない
事実15: もしこの語り方は注意深くないとすると「このロゴ作成は名門中でないしまたそれは見え難くない」ということは偽だ

仮説: 「あのコーデュロイは黒変するということはなくてそれは届き難いということはない」ということは事実と異なる
1. 事実3と事実11から、推論1: "この語り方は宜しい"が導かれる
2. 推論1から、推論2: "この語り方は宜しいかあるいは運搬するかもしくは両方である"が導かれる
3. 推論2と事実9から、推論3: "このロゴ作成は注意深いということはない"が導かれる
4. 推論3と事実6から、仮説が導かれる

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