「この代は等級であるかあるいは減損する」ということは成り立たない
fact1: もしもこの代が理解致さないかあるいは書き得れば「短い」ということは事実だ fact2: もし仮になんらかの物が減損するとすると等級だということはない fact3: もしもこの代は大命題であるとすればそれは共通しないかまたはラマン強度であるかもしくは両方である fact4: もしもこの代が形式名詞でないかあるいはペーストするかまたは両方ともなら「等級である」ということは確かである fact5: もし「この代は短くない一方で生活し易い」ということは間違っているなら「このデイドロップは短い」ということは間違っていない fact6: この代は形式名詞であるかもしくはそれはペーストするかまたは両方だ fact7: もし仮に「この代は生活し易い」ということは成り立つならそれは形式名詞であるかペーストする fact8: 仮にこの代が生活し易いとすればそれは形式名詞でないかまたはペーストするかどちらもだ fact9: もし仮にこの代が痛いということはないならばペーストする fact10: もしもこの代が移し替えないならそれは出会い易い fact11: 「「短いか出会い易いかもしくはどちらもだ」ということは成り立たない」物はあるとしたら「この代は生活し易い」ということは事実である fact12: 仮になにかは生活し易くないならば「それは等級であるか減損するかまたはどちらもである」ということは誤りである fact13: この戦時捕虜は参拝しない fact14: 「この戦時捕虜はペーストするということはない」ということは偽だということはないとすると「「この代は短くないがしかし生活し易い」ということは確かである」ということは成り立たない fact15: 「「短いかまたは出会い易いかもしくは両方だ」ということは間違っている」ものはある
fact15 & fact11 -> int1: この代は生活し易い; int1 & fact8 -> int2: この代は形式名詞でないかペーストするかまたは両方である; int2 & fact4 -> int3: この代は等級である; int3 -> hypothesis;
「この代は等級であるかまたは減損するかどちらもである」ということは正しくない
fact16 -> int4: この代は生活し易いということはないなら「等級であるかあるいはそれは減損する」ということは成り立たない;
$facts$ = fact1: もしもこの代が理解致さないかあるいは書き得れば「短い」ということは事実だ fact2: もし仮になんらかの物が減損するとすると等級だということはない fact3: もしもこの代は大命題であるとすればそれは共通しないかまたはラマン強度であるかもしくは両方である fact4: もしもこの代が形式名詞でないかあるいはペーストするかまたは両方ともなら「等級である」ということは確かである fact5: もし「この代は短くない一方で生活し易い」ということは間違っているなら「このデイドロップは短い」ということは間違っていない fact6: この代は形式名詞であるかもしくはそれはペーストするかまたは両方だ fact7: もし仮に「この代は生活し易い」ということは成り立つならそれは形式名詞であるかペーストする fact8: 仮にこの代が生活し易いとすればそれは形式名詞でないかまたはペーストするかどちらもだ fact9: もし仮にこの代が痛いということはないならばペーストする fact10: もしもこの代が移し替えないならそれは出会い易い fact11: 「「短いか出会い易いかもしくはどちらもだ」ということは成り立たない」物はあるとしたら「この代は生活し易い」ということは事実である fact12: 仮になにかは生活し易くないならば「それは等級であるか減損するかまたはどちらもである」ということは誤りである fact13: この戦時捕虜は参拝しない fact14: 「この戦時捕虜はペーストするということはない」ということは偽だということはないとすると「「この代は短くないがしかし生活し易い」ということは確かである」ということは成り立たない fact15: 「「短いかまたは出会い易いかもしくは両方だ」ということは間違っている」ものはある ; $hypothesis$ = 「この代は等級であるかあるいは減損する」ということは成り立たない ; $proof$ = 
fact15 & fact11 -> int1: この代は生活し易い; int1 & fact8 -> int2: この代は形式名詞でないかペーストするかまたは両方である; int2 & fact4 -> int3: この代は等級である; int3 -> hypothesis; __DISPROVED__
事実1: もしもこの代が理解致さないかあるいは書き得れば「短い」ということは事実だ
事実2: もし仮になんらかの物が減損するとすると等級だということはない
事実3: もしもこの代は大命題であるとすればそれは共通しないかまたはラマン強度であるかもしくは両方である
事実4: もしもこの代が形式名詞でないかあるいはペーストするかまたは両方ともなら「等級である」ということは確かである
事実5: もし「この代は短くない一方で生活し易い」ということは間違っているなら「このデイドロップは短い」ということは間違っていない
事実6: この代は形式名詞であるかもしくはそれはペーストするかまたは両方だ
事実7: もし仮に「この代は生活し易い」ということは成り立つならそれは形式名詞であるかペーストする
事実8: 仮にこの代が生活し易いとすればそれは形式名詞でないかまたはペーストするかどちらもだ
事実9: もし仮にこの代が痛いということはないならばペーストする
事実10: もしもこの代が移し替えないならそれは出会い易い
事実11: 「「短いか出会い易いかもしくはどちらもだ」ということは成り立たない」物はあるとしたら「この代は生活し易い」ということは事実である
事実12: 仮になにかは生活し易くないならば「それは等級であるか減損するかまたはどちらもである」ということは誤りである
事実13: この戦時捕虜は参拝しない
事実14: 「この戦時捕虜はペーストするということはない」ということは偽だということはないとすると「「この代は短くないがしかし生活し易い」ということは確かである」ということは成り立たない
事実15: 「「短いかまたは出会い易いかもしくは両方だ」ということは間違っている」ものはある

仮説: 「この代は等級であるかあるいは減損する」ということは成り立たない
1. 事実15と事実11から、推論1: "この代は生活し易い"が導かれる
2. 推論1と事実8から、推論2: "この代は形式名詞でないかペーストするかまたは両方である"が導かれる
3. 推論2と事実4から、推論3: "この代は等級である"が導かれる
4. 推論3から、仮説が否定される

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