「あの中央レーンは嘆かわしくない」ということは確かだ
fact1: この文脈自由文法は書き易い fact2: この文脈自由文法はアクセスし易い fact3: あの特殊文字は嘆かわしい fact4: あの仰角は嘆かわしい fact5: この文脈自由文法は人懐っこい fact6: あの中央レーンは癌原性である fact7: もし仮にこの文脈自由文法は癌原性であるとしたら「あの中央レーンは嘆かわしい」ということは間違いでない fact8: 「なにがしかのものは癌原性であるけれどそれは価値量でない」ということは偽であるならそれは癌原性でない fact9: この文脈自由文法はプレイヤー同士だ fact10: 仮にあのドイツ文学はちぎれ易いとすれば「その層雲峡は樹状突起だ」ということは間違いでない fact11: もしもその層雲峡は癌原性でないとすると「この文脈自由文法は命ずるということはないけどそれは嘆かわしい」ということは成り立たない fact12: この文脈自由文法は癌原性である fact13: 仮に「この文脈自由文法は命ぜないけどそれは嘆かわしい」ということは誤りならばあの中央レーンは嘆かわしくない fact14: この文脈自由文法は嘆かわしい fact15: もしもとあるものは樹状突起だとすると「それは癌原性だ一方で価値量であるということはない」ということは事実と異なる fact16: あの玄関チャイムは癌原性だ
fact7 & fact12 -> hypothesis;
fact7 & fact12 -> hypothesis;
「あの中央レーンは嘆かわしくない」ということは確かだ
fact21 -> int1: もしも「「その層雲峡は癌原性だけれどそれは価値量でない」ということは正しい」ということは成り立たないとすると癌原性であるということはない; fact17 -> int2: 仮にその層雲峡は樹状突起だとしたら「癌原性だし価値量でない」ということは成り立たない;
$facts$ = fact1: この文脈自由文法は書き易い fact2: この文脈自由文法はアクセスし易い fact3: あの特殊文字は嘆かわしい fact4: あの仰角は嘆かわしい fact5: この文脈自由文法は人懐っこい fact6: あの中央レーンは癌原性である fact7: もし仮にこの文脈自由文法は癌原性であるとしたら「あの中央レーンは嘆かわしい」ということは間違いでない fact8: 「なにがしかのものは癌原性であるけれどそれは価値量でない」ということは偽であるならそれは癌原性でない fact9: この文脈自由文法はプレイヤー同士だ fact10: 仮にあのドイツ文学はちぎれ易いとすれば「その層雲峡は樹状突起だ」ということは間違いでない fact11: もしもその層雲峡は癌原性でないとすると「この文脈自由文法は命ずるということはないけどそれは嘆かわしい」ということは成り立たない fact12: この文脈自由文法は癌原性である fact13: 仮に「この文脈自由文法は命ぜないけどそれは嘆かわしい」ということは誤りならばあの中央レーンは嘆かわしくない fact14: この文脈自由文法は嘆かわしい fact15: もしもとあるものは樹状突起だとすると「それは癌原性だ一方で価値量であるということはない」ということは事実と異なる fact16: あの玄関チャイムは癌原性だ ; $hypothesis$ = 「あの中央レーンは嘆かわしくない」ということは確かだ ; $proof$ = 
fact7 & fact12 -> hypothesis; __DISPROVED__
事実1: この文脈自由文法は書き易い
事実2: この文脈自由文法はアクセスし易い
事実3: あの特殊文字は嘆かわしい
事実4: あの仰角は嘆かわしい
事実5: この文脈自由文法は人懐っこい
事実6: あの中央レーンは癌原性である
事実7: もし仮にこの文脈自由文法は癌原性であるとしたら「あの中央レーンは嘆かわしい」ということは間違いでない
事実8: 「なにがしかのものは癌原性であるけれどそれは価値量でない」ということは偽であるならそれは癌原性でない
事実9: この文脈自由文法はプレイヤー同士だ
事実10: 仮にあのドイツ文学はちぎれ易いとすれば「その層雲峡は樹状突起だ」ということは間違いでない
事実11: もしもその層雲峡は癌原性でないとすると「この文脈自由文法は命ずるということはないけどそれは嘆かわしい」ということは成り立たない
事実12: この文脈自由文法は癌原性である
事実13: 仮に「この文脈自由文法は命ぜないけどそれは嘆かわしい」ということは誤りならばあの中央レーンは嘆かわしくない
事実14: この文脈自由文法は嘆かわしい
事実15: もしもとあるものは樹状突起だとすると「それは癌原性だ一方で価値量であるということはない」ということは事実と異なる
事実16: あの玄関チャイムは癌原性だ

仮説: 「あの中央レーンは嘆かわしくない」ということは確かだ
1. 事実7と事実12から、仮説が否定される

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